Function prop::and::commute

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

a ∧ b => b ∧ a.