Flambda_invariants
type flambda_kind =
| Normal
| Lifted
val check_exn : ?kind:flambda_kind -> Flambda.program -> unit