Function prop::not::double

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

a => ¬¬a.