Trait lambek::bi_type_app::BiTypeAppGeneric[−][src]

pub trait BiTypeAppGeneric: BiTypeCon + Sized {
    fn with_type_app<'a, X: 'a, Y: 'a, R: 'a>(
        cont: impl BiTypeAppGenericCont<'a, Self, X, Y, R>
    ) -> R
    where
        Self: 'a;
}

Required methods

fn with_type_app<'a, X: 'a, Y: 'a, R: 'a>(
    cont: impl BiTypeAppGenericCont<'a, Self, X, Y, R>
) -> R where
    Self: 'a, [src]

Loading content...

Implementors

Loading content...