package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.11.2

Install

Dune Dependency

Authors

Maintainers

Sources

4.11.2.tar.gz
sha256=044a2a68f6cfa3d2349257770a340ced14c3940fb4d78414dda0e59e4ff0aa09

doc/ocamloptcomp/Flambda_invariants/index.html

Module Flambda_invariants

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

Checking of invariants on Flambda expressions. Raises an exception if a check fails.

OCaml

Innovation. Community. Security.