Trait identity::lift::Pi

pub trait Pi<TF> {
    fn call<Param>(self, x: Param) -> TF::Result where TF: TyFun<Param>, TF::Result: Sized;
}

Required Methods

fn call<Param>(self, x: Param) -> TF::Result where TF: TyFun<Param>, TF::Result: Sized

Implementors

• impl<TF, X: Forall<TF>> Pi<TF> for X