Function prop::imply::absurd

source[−]
pub fn absurd<A: Prop>() -> Imply<False, A>
Expand description

false => a.