ocaml-base-compiler

Official release 4.12.1
IN THIS PACKAGE
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