package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.0.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

sha256=72fa3d0ba19b82fcb9e6c62e0090b9d22e5905c4be0f94faf56904a9377a9e5b

doc/compiler-libs.optcomp/Flambda_invariants/index.html

Module `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.