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