Function prop::or::commute

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

a ∨ b => b ∨ a.