Index of types

select_attributes actions attrs finds the elements of attrs that appear in actions and either returns them or just marks them used, according to the corresponding attr_action.

Attributes such as [@id ARG] and [@@id ARG].

The type of callback functions on for init ~auto_include

Values of type Parsetree.case represents (P -> E) or (P when E0 -> E)

Atomic changes

This specialized version of changes introduces two composite changes: Move and Swap

The type of potential changes on a list.

The kind of changes which is used to share printing and styling across implementation

Values of type class_expr class_infos represents: class c = ..., class ['a1,...,'an] c = ..., class virtual c = ... They are also used for "class type" declaration.

Values of type class_signature represents: object('selfpat) ... end, object ... end when pcsig_self is Ptyp_any

Values of type Parsetree.class_structure represents: object(selfpat) ... end, object ... end when pcstr_self is Ppat_any

Composite changes and patches

register_attr must be called on the locations of all attributes that should be tracked for the purpose of misplaced attribute warnings.

Detailed difference trace

If (a -> set) belongs to the map, it means that there are edges from a to every element of set.

Documentation comments

Detailed equality trace

An error is a report which report_kind must be Report_error.

Extension points such as [%id ARG] and [%%id ARG].

See the comment on Pexp_function.

Values of type include_declaration represents include ME

Values of type include_description represents include MT

A iterator record implements one "method" per syntactic category, using an open recursion style: each method takes as its first argument the iterator to be applied to children in the syntax tree.

- { ...; l: T; ... } when pld_mutable is Immutable, { ...; mutable l: T; ... } when pld_mutable is Mutable. Note: T can be a Ptyp_poly.

A mapper record implements one "method" per syntactic category, using an open recursion style: each method takes as its first argument the mapper to be applied to children in the syntax tree.

Values of type module_binding represents module X = ME

Values of type module_declaration represents S : MT

Values of type module_substitution represents S := M

Values of type module_type_declaration represents: S = MT,, S for abstract module type declaration, when pmtd_type is None.

native object files have a format and magic number that depend on certain native-compiler configuration parameters.

Values of type open_declaration represents: open M.N, open M(N).O, open struct ... end

Values of type open_description represents: open M.N, open M(N).O

Values of type 'a open_infos represents: open! X when popen_override is Override (silences the "used identifier shadowing" warning), open  X when popen_override is Fresh

As Parsetree.package_type typed values: (S, []) represents (module S),, (S, [(t1, T1) ; ... ; (tn, Tn)]) represents (module S with type t1 = T1 and ... and tn = Tn).

A patch is an ordered list of changes.

the type of raw magic numbers, such as "Caml1999A027" for the .cma files of OCaml 4.10

the type of raw magic numbers kinds, such as "Caml1999A" for .cma files

A printer for reports, defined using open-recursion.

environment of a partial patch

The type of target integers.

Represent one directory in the load path.

Metadata for a single compilation artifact: the module name associated to the artifact, the filesystem path, the input source file if it exists

Metadata for a compilation unit: the module name associated to the unit, the filename prefix (dirname + basename with all extensions stripped) for compilation artifacts, the input source file For instance, when calling ocamlopt dir/x.mli -o target/y.cmi,, the input source file is dir/x.mli, the module name is Y, the prefix is target/y

This module implements infinite arrays.

Here are type declarations and their representation, for various ptype_kind and ptype_manifest values: type t when type_kind is Ptype_abstract, and manifest is None,, type t = T0 when type_kind is Ptype_abstract, and manifest is Some T0,, type t = C of T | ... when type_kind is Ptype_variant, and manifest is None,, type t = T0 = C of T | ... when type_kind is Ptype_variant, and manifest is Some T0,, type t = {l: T; ...} when type_kind is Ptype_record, and manifest is None,, type t = T0 = {l : T; ...} when type_kind is Ptype_record, and manifest is Some T0,, type t = .. when type_kind is Ptype_open, and manifest is None.

Definition of a new exception (exception E).

Definition of new extensions constructors for the extensive sum type t (type t += ...).

let pat : type_constraint = exp

Values of type Parsetree.value_description represents: val x: T, when pval_prim is [], external x: T = "s1" ... "sn" when pval_prim is ["s1";..."sn"]