Function prop::not::absurd

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

¬a ⋀ a => b.