Function prop::and::exc_right

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

¬b ∧ (a ∨ b) => a