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
val run : Stdlib.Format.formatter -> Cmm.fundecl -> bool