Trait lambek::bi_type_app::BiTypeApp

pub trait BiTypeApp<'a, X: 'a + ?Sized, Y: 'a + ?Sized>: BiTypeCon {
    type Applied: 'a + ?Sized;
}

Associated Types

type Applied: 'a + ?Sized

Loading content...

Implementors

Loading content...