Module `Flambda2_terms`

module Apply_cont_expr : sig ... end

The representation of the application of a continuation. In the zero-arity case this is just "goto".

module Apply_expr : sig ... end

The representation of the application of an OCaml function, OCaml method or external call to a list of arguments.

module Call_kind : sig ... end

Classification of application expressions.

module Code : sig ... end

module Code0 : sig ... end

module Code_metadata : sig ... end

module Code_or_metadata : sig ... end

module Code_size : sig ... end

module Coeffects : sig ... end

module Cost_metrics : sig ... end

module Effects : sig ... end

Things that a primitive does to the world, or expects from the world.

module Effects_and_coeffects : sig ... end

module Exn_continuation : sig ... end

Exception continuations for function calls, etc.

module Expr_std : sig ... end

Functionality supported by all expression-like modules.

module Flambda : sig ... end

The grammar of the Flambda 2 term language.

module Flambda_primitive : sig ... end

"Primitive" operations: those that perform computation but never affect control flow.

module Flambda_unit : sig ... end

The Flambda representation of a single compilation unit's code.

module Function_decl_inlining_decision_type : sig ... end

module Function_declarations : sig ... end

module Inline_attribute : sig ... end

Function declaration (not call site) inlining annotations.

module Inlined_attribute : sig ... end

Call site (not function declaration) inlining annotations.

module Inlining_arguments : sig ... end

Set of all arguments related to inlining. This set is stored inside the term language and is used to access the set of parameters to use in the simplifier.

module Inlining_history : sig ... end

module Inlining_state : sig ... end

Abstracts the state used during inlining.

module Loopify_attribute : sig ... end

module Mutability : sig ... end

module Placement : sig ... end

module Poll_attribute : sig ... end

module Probe : sig ... end

Annotation on function call that represents a probe.

module Recursive : sig ... end

module Regalloc_attribute : sig ... end

module Regalloc_param_attribute : sig ... end

module Removed_operations : sig ... end

module Result_types : sig ... end

module Set_of_closures : sig ... end

module Static_const : sig ... end

Language terms that represent statically-allocated values, bound to symbols.

module Switch_expr : sig ... end

Representation of conditional control flow: the Switch expression.

module Trap_action : sig ... end

Actions affecting exception traps on the stack. These are always associated with an Apply_cont node; the trap action is executed before the application of the continuation.

module Validity : sig ... end

module Zero_alloc_attribute : sig ... end

Module Flambda2_terms

Module `Flambda2_terms`