pub fn apply_patterns_and_fold_greedily(
module: &Module<'_>,
patterns: FrozenRewritePatternSet,
config: &GreedyRewriteDriverConfig,
) -> Result<(), Error>Expand description
Applies patterns and folds greedily to the given module.
The patterns argument is consumed (its ownership is transferred to the C
layer).