Function prop::modal::eq_nec_pos_strong_pos

pub fn eq_nec_pos_strong_pos<A: Prop>() -> Eq<Nec<Pos<A>>, StrongPos<A>>

□◇a == strong_pos(a).