Function prop::modal::npara_to_pos

source · 
pub fn npara_to_pos<A: DProp>(npara: Not<Para<A>>) -> Pos<A>
Expand description

¬(false^a) => ◇a.