Type Definition lambek::bi_type_app::BiApp[][src]

type BiApp<'a, F, X, Y> = Box<dyn HasBiTypeApp<'a, F, X, Y> + 'a>;