Function prop::modal::nec_to_pos

source · 
pub fn nec_to_pos<A: Prop>(nec_a: Nec<A>) -> Pos<A>
Expand description

□a => ◇a.