Function prop::fun::app2_lam_ty

source ·

pub fn app2_lam_ty<F: Prop, X: Prop, Y: Prop, Z: Prop, A: Prop, B: Prop>(
    ty_f: Ty<F, Imply<X, Imply<Y, Z>>>,
    ty_a: Ty<A, X>,
    ty_b: Ty<B, Y>,
    x_is_const: IsConst<X>,
    y_is_const: IsConst<Y>
) -> Ty<App2<F, A, B>, Z>

Expand description

Get type of applied binary operator.