Trait cut::NaturalTransformation

pub trait NaturalTransformation<'a, F1, F2> where
    F1: TyCon,
    F2: TyCon, {
    fn lift<A>(self, fa: App<'a, F1, A>) -> App<'a, F2, A>
    where
        A: 'a;
}

Required methods

fn lift<A>(self, fa: App<'a, F1, A>) -> App<'a, F2, A> where
    A: 'a, 

Implementors