Effect_analysis
Simple side effect analysis.
val no_effects : Flambda.t -> bool
Conservative approximation as to whether a given Flambda expression may have any side effects.
val no_effects_named : Flambda.named -> bool