Module Flambda_invariants

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.