Type alias FoldingParams

FoldingParams: {
    isFoldedAttr?: string;
    toAvoid?: PredicateOnRule;
    toKeep?: PredicateOnRule;
}

Parameters for the constant folding optimization pass.

toAvoid A predicate that returns true if the rule should be avoided to be folded, if not present, all rules will be folded.

toKeep A predicate that returns true if the rule should be kept AFTER being folded, if not present, all folded rules will be kept.

isFoldedAttr The attribute name to use to mark a rule as folded, default to 'optimized'.