Function var_partitions_with_map

Source
pub fn var_partitions_with_map(
    expr: &ExprRef,
    f: impl Fn(&Identifier) -> Identifier,
) -> VortexResult<VarPartitionedExpr>
Expand description

Partition an expression using the partition function f e.g. var(x) + var(y) + var(z), where f(x) = {x} and f(y | z) = {y} the partitioned expr will be root: var(x) + var(y).0 + var(y).1, { x: var(x), y: pack(0: var(y), 1: var(z) }