Type Definition prop::existence::E

source · [−]
pub type E<X> = Or<NN<X>, Not<X>>;
Expand description

∀ x { ¬¬x ⋁ ¬x }.