Function ferrite_session::internal::public::prelude::row::lift_sum_inject

pub fn lift_sum_inject<Lift, Row, TargetF>(
    lift: Lift, 
    row: AppSum<Row, Lift::SourceF>
) -> AppSum<Row, Lift::InjectF> where
    TargetF: TyCon,
    Row: SumFunctorInject,
    Lift: InjectLift<AppSum<Row, TargetF>, TargetF = TargetF>,