Trait ferrite_session::internal::functional::row::ElimSum [−][src]
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>; }
Required methods
fn elim_sum<F, E, R>(elim_field: E, row: AppSum<Self, F>) -> R where
F: TyCon,
E: ElimField<F, R>,
[src]
F: TyCon,
E: ElimField<F, R>,