Function prop::modal::nec_to_nposn

source · 
pub fn nec_to_nposn<A: DProp>(tauto_a: Nec<A>) -> Not<Pos<Not<A>>>
Expand description

□a => ¬◇¬a.