Function prop::not::rev_double

source · [−]
pub fn rev_double<A: DProp>(f: Not<Not<A>>) -> A
Expand description

¬¬a => a.