Trait ferrite_session::internal::functional::row::HasSumApp
source · [−]pub trait HasSumApp<'a, Row, F>: Send {
fn get_sum(self: Box<Self>) -> Box<Row::Applied>
where
F: TyCon,
Row: SumApp<'a, F>;
fn get_sum_borrow<'b>(&'b self) -> &'b Row::Applied
where
F: TyCon,
Row: SumApp<'a, F>;
}