Function prop::path_semantics::ty_or_split_db
source · [−]pub fn ty_or_split_db<A: Prop, B: DProp, C: Prop>(
(ty_a_or_b_c, pord): Ty<A, Or<B, C>>
) -> Or<Ty<A, B>, Ty<A, C>>
Expand description
(a : (b ⋁ c)) => (a : b) ⋁ (a : c)
.