Function prop::fun::tup3_trd

source · 
pub fn tup3_trd<A: Prop, B: Prop, C: Prop, X: Prop, Y: Prop, Z: Prop>(
    x: Ty<Tup3<A, B, C>, Tup3<X, Y, Z>>
) -> Ty<C, Z>
Expand description

(a, b, c) : (x, y, z) => (c : z).