ocaml-base-compiler

Official release 4.12.1
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library ocamlmiddleend
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.