Type Definition lambek::type_app::App[−][src]

type App<'a, F, X> = Box<dyn HasTypeApp<'a, F, X> + 'a>;