Function prop::modal::nec_pos_to_strong_pos

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

□◇a => strong_pos(a).