Trait ferrite_session::internal::public::functional::ElimField [−][src]
pub trait ElimField<F, R> where
F: TyCon, { fn elim_field<A>(self, a: App<F, A>) -> R
where
A: Send + 'static; }
Required methods
fn elim_field<A>(self, a: App<F, A>) -> R where
A: Send + 'static,
[src]
A: Send + 'static,
Implementors
Loading content...