Function ferrite_session::internal::functional::public::get_sum

pub fn get_sum<'a, Row, F>(row: AppSum<'a, Row, F>) -> Row::Applied where
    F: TyCon,
    Row: SumApp<'a, F>,