package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 5.2.0

Install

Dune Dependency

Authors

Maintainers

Sources

5.2.0.tar.gz
sha256=48554abfd530fcdaa08f23f801b699e4f74c320ddf7d0bd56b0e8c24e55fc911

doc/compiler-libs.optcomp/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.