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

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