Trait ferrite_session::internal::public::functional::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>; }