Function prop::and::exc_left

source · [−]
pub fn exc_left<A: Prop, B: Prop>((not_a, x): And<Not<A>, Or<A, B>>) -> B
Expand description

¬a ∧ (a ∨ b) => b.