Function prop::eq::commute_eq

source[−]
pub fn commute_eq<A: Prop, B: Prop>() -> Eq<Eq<A, B>, Eq<B, A>>
Expand description

(a = b) = (b = a).