Trait lambek::type_app::TypeAppCont[−][src]

pub trait TypeAppCont<'a, F: 'a, X: 'a, R: 'a> {
    fn on_type_app(self) -> R
    where
        F: TypeApp<'a, X>;
}

Required methods

`fn on_type_app(self) -> R where F: TypeApp<'a, X>,` [src]

Loading content...

Implementors

Loading content...