Function ferrite_session::prelude::wrap_sum_app[][src]

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