Module Effect_analysis

val no_effects : Flambda.t -> bool
val no_effects_named : Flambda.named -> bool