Module `Flambda2_term_basics`

module Alloc_mode : sig ... end

module Coercion : sig ... end

module Continuation_use_kind : sig ... end

module Empty_array_kind : sig ... end

module Inlined_debuginfo : sig ... end

Information required to rewrite Debuginfo.t values in the body of an inlined function. These rewrites do three things:

module Or_invalid : sig ... end

module Or_variable : sig ... end

Values of type 'a must not contain names!

module Rec_info_expr : sig ... end

module Scope : sig ... end

Numbering of the nesting depth of continuations.

module Simple : sig ... end

A value that is known to fit into a register (of the appropriate kind) on the target machine. We do not require such values to be Let-bound.

module String_info : sig ... end

module Symbol_projection : sig ... end

module Tag_and_size : sig ... end

module Unit : sig ... end

module Value_slot_set : sig ... end

Module Flambda2_term_basics