ocamlmiddleend
Effect_analysis
Simple side effect analysis.
bigarray
dynlink
ocamlbytecomp
ocamlcommon
ocamloptcomp
ocamltoplevel
odoc_info
raw_spacetime_lib
stdlib
str
threads
unix
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