Function prop::path_semantics::to_pand_fst

source · [−]
pub fn to_pand_fst<A: Prop, B: Prop, C: Prop, D: Prop>(
    p: PSemNaive<And<A, B>, C, A, D>
) -> PAndFst<A, B, C, D>
Expand description

Converts core axiom to PAndFst.