Function prop::modal::pos_to_para_para

pub fn pos_to_para_para<A: DProp>(pos: Pos<A>) -> Para<Para<A>>

◇a => false^(false^a).