Function prop::not::absurd

source[−]
pub fn absurd<A: Prop, B: Prop>(f: Not<A>, g: A) -> B
Expand description

¬a ⋀ a => b.