fn implement_arrangements<'a>(
    inputs: &mut [MirRelationExpr],
    available_arrangements: &[Vec<Vec<MirScalarExpr>>],
    needed_arrangements: impl Iterator<Item = &'a (usize, Vec<MirScalarExpr>)>
) -> MapFilterProject
Expand description

Modify inputs to ensure specified arrangements are available.

Lift filter predicates when all needed arrangements are otherwise available.