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