package ocaml-base-compiler
Official release 5.2.1
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-5.2.1.tar.gz
sha256=2d0f8090951a97a2c0e5b8a11e90096c0e1791d2e471e4a67f87e3b974044cd0
doc/compiler-libs.common/Value_rec_types/index.html
Module Value_rec_types
Types related to the compilation of value let-recs (non-functional recursive definitions)
type recursive_binding_kind = | Static(*Bindings for which some kind of pre-allocation scheme is possible. The expression is allowed to be recursive, as long as its definition does not inspect recursively defined values.
*)| Dynamic(*Bindings for which pre-allocation is not possible. The expression is not allowed to refer to any recursive variable.
*)
The kind of recursive bindings, as computed by Value_rec_check.classify_expression