Function prop::modal::strong_pos_to_nec_pos

pub fn strong_pos_to_nec_pos<A: Prop>(x: StrongPos<A>) -> Nec<Pos<A>>

strong_pos(a) => □◇a.