Function prop::path_semantics::to_pand_fst

pub fn to_pand_fst<A: Prop, B: Prop, C: Prop, D: Prop>(
    p: PSem<And<A, B>, C, A, D>
) -> PAndFst<A, B, C, D>

Converts core axiom to PAndFst.