Function prop::modal::para_para_to_pos

pub fn para_para_to_pos<A: DProp>(para_para_a: Para<Para<A>>) -> Pos<A>

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