apply_patterns_and_fold_greedily

Function apply_patterns_and_fold_greedily 

Source
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).