Function prop::not::rev_double_excm

source · 
pub fn rev_double_excm<A: Prop>(f: Not<Not<A>>, excm: ExcM<A>) -> A
Expand description

¬¬a => a.