Trait ferrite_session::internal::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,

impl<X> ElimField<Const<X>, X> for ElimConst where
    X: Send + 'static,