Flambda_invariants
type flambda_kind =
| Normal
| Lifted
val check_exn : ?kind:flambda_kind -> Flambda.program -> unit
Checking of invariants on Flambda expressions. Raises an exception if a check fails.