Function prop::modal::pos_to_npara

source · 
pub fn pos_to_npara<A: Prop>(pos: Pos<A>) -> Not<Para<A>>
Expand description

◇a => ¬(false^a).