Function ferrite_session::row::get_row

pub fn get_row<Row, F>(row: AppliedSum<Row, F>) -> Row::Applied where
    F: TyCon,
    Row: RowApp<F>,