Function prop::eq::double_neg

source · [−]
pub fn double_neg<A: Prop>(a: A) -> Eq<A, Not<Not<A>>>
Expand description

a => (a = ¬¬a).