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