Function prop::quality::commute

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

Symmetry (a ~~ b) => (b ~~ a).