ocamloptcomp
Cmm_invariants
run ppf fundecl analyses the given function, and returns whether any errors were encountered (with corresponding error messages printed on the given formatter).
run ppf fundecl
bigarray
dynlink
ocamlbytecomp
ocamlcommon
ocamlmiddleend
ocamltoplevel
odoc_info
stdlib
str
threads
unix
val run : Format.formatter -> Cmm.fundecl -> bool