Function prop::modal::pos_to_nnecn

source · 
pub fn pos_to_nnecn<A: Prop>(pos_a: Pos<A>) -> Not<Nec<Not<A>>>
Expand description

◇a => ¬□¬a.