Function prop::not::double

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

a => ¬¬a.

Examples found in repository?
examples/ava_modal.rs (line 17)
16
17
18

pub fn proof2<A: DProp>(npos_a: Not<Pos<A>>) -> Not<Nec<A>> {
    proof1(not::double(npos_a))
}