Trait ferrite_session::functional::ElimField [−][src]
Required methods
fn elim_field<A>(self, a: App<F, A>) -> R where
A: Send + 'static,
[src]
A: Send + 'static,
Implementors
impl<X> ElimField<Const<X>, X> for ElimConst where
X: Send + 'static,
[src]
X: Send + 'static,
fn elim_field<A>(self, x: App<Const<X>, A>) -> X where
A: 'static,
[src]
A: 'static,