Function prop::path_semantics::to_por_fst
source · [−]pub fn to_por_fst<A: DProp, B: Prop, C: DProp, D: Prop>(
p: PSemNaive<Or<A, B>, C, A, D>
) -> POrFst<A, B, C, D>Expand description
Converts core axiom to POrFst.