Trait ElimSum
Other items inferrite_session::internal::functional::row
pub trait ElimSum: RowCon { fn elim_sum<F, E, R>(elim_field: E, row: AppSum<Self, F>) -> R where F: TyCon, E: ElimField<F, R>; }
fn elim_sum<F, E, R>(elim_field: E, row: AppSum<Self, F>) -> R where F: TyCon, E: ElimField<F, R>,
impl ElimSum for ()
fn elim_sum<F, E, R>(_elim_field: E, row: AppSum<Self, F>) -> R where F: TyCon, E: ElimField<F, R>,
impl<A, R> ElimSum for (A, R) where A: Send + 'static, R: ElimSum,
fn elim_sum<F, E, K>(e: E, row1: AppSum<Self, F>) -> K where F: TyCon, E: ElimField<F, K>,