ocaml-base-compiler

Official release 4.07.1
IN THIS PACKAGE
type flambda_kind =
| Normal
| Lifted
val check_exn : ?kind:flambda_kind -> ?cmxfile:bool -> Flambda.program -> unit

Checking of invariants on Flambda expressions. Raises an exception if a check fails.