Index of modules

A
Arg_helper

Decipher command line arguments of the form <value> | <key>=<value>,...

Array [Misc.Stdlib]

Extensions to the Array module

Artifact [Unit_info]

Build artifacts

Ast_helper

Helpers to produce Parsetree fragments

Ast_invariants

Check AST invariants

Ast_iterator

Ast_iterator.iterator enables AST inspection using open recursion.

Ast_mapper

The interface of a -ppx rewriter

Asttypes

Auxiliary AST types used by parsetree and typedtree.

Attr [Ast_helper]

Attributes

Attr_helper

Helpers for attributes

B
Binutils
Build_path_prefix_map

Rewrite paths for reproducible builds

Builtin_attributes

Support for the builtin attributes:

C
CamlinternalMenhirLib
Ccomp

Compiling C files and building C libraries

Cf [Ast_helper]

Class fields

Ci [Ast_helper]

Classes

Cl [Ast_helper]

Class expressions

Clflags

Command line flags

Color [Misc]

Color support detection

Compiler_libs

Warning This library is part of the internal OCaml compiler API, and is not the language standard library.

Compiler_pass [Clflags]
Compression
Config

System configuration

Config_boot

System configuration

Config_main

System configuration

Consistbl

Consistency tables: for checking consistency of module CRCs

Const [Ast_helper]
Convert [CamlinternalMenhirLib]
Csig [Ast_helper]

Class signatures

Cstr [Ast_helper]

Class structures

Ctf [Ast_helper]

Class type fields

Cty [Ast_helper]

Class type expressions

D
Define [Diffing_with_keys]
Define [Diffing]

Define(Defs) creates the diffing types from the types defined in Defs and the functors that need to be instantatied with the diffing algorithm parameters

Depend

Module dependencies.

Diffing

Parametric diffing

Diffing_with_keys

When diffing lists where each element has a distinct key, we can refine the diffing patch by introducing two composite edit moves: swaps and moves.

Dir [Load_path]
Docstrings

Documentation comments

Domainstate
E
Engine [CamlinternalMenhirLib]
EngineTypes [CamlinternalMenhirLib]
ErrorReports [CamlinternalMenhirLib]
Error_style [Misc]
Exp [Ast_helper]

Expressions

F
Float [Numbers]
Float_arg_helper [Clflags]

Optimization parameters represented as floats indexed by round number.

G
General [CamlinternalMenhirLib]
I
Id [Strongly_connected_components.S]
Identifiable

Uniform interface for common data structures over various things.

Incl [Ast_helper]

Includes

Incremental [Parser]
IncrementalEngine [CamlinternalMenhirLib]
InfiniteArray [CamlinternalMenhirLib]
InspectionTableFormat [CamlinternalMenhirLib]
InspectionTableInterpreter [CamlinternalMenhirLib]
Int [Numbers]
Int16 [Numbers]
Int8 [Numbers]
Int_arg_helper [Clflags]

Optimization parameters represented as ints indexed by round number.

Int_literal_converter [Misc]
Int_replace_polymorphic_compare
L
Lazy_backtrack
Left_variadic [Diffing.Define]

Variadic diffing

Lexer

The lexical analyzer

LexerUtil [CamlinternalMenhirLib]
LinearizedArray [CamlinternalMenhirLib]
List [Misc.Stdlib]

Extensions to the List module

Load_path

Management of include directories.

Local_store

This module provides some facilities for creating references (and hash tables) which can easily be snapshoted and restored to an arbitrary version.

Location

Source code locations (ranges of positions), used in parsetree.

Log [CamlinternalMenhirLib.EngineTypes.TABLE]
Longident

Long identifiers, used in parsetree.

M
Magic_number [Misc]
Make [Strongly_connected_components]
Make [Identifiable]
Make [Consistbl]
Make [Arg_helper]
Make [CamlinternalMenhirLib.InspectionTableInterpreter]
Make [CamlinternalMenhirLib.Printers]
Make [CamlinternalMenhirLib.Engine]
MakeEngineTable [CamlinternalMenhirLib.TableInterpreter]
Map [Identifiable.S]
Map [Misc.Stdlib.String]
Mb [Ast_helper]

Module bindings

Md [Ast_helper]

Module declarations

MenhirInterpreter [Parser]
Misc

Miscellaneous useful types and functions

Mod [Ast_helper]

Module expressions

Ms [Ast_helper]

Module substitutions

Mtd [Ast_helper]

Module type declarations

Mty [Ast_helper]

Module type expressions

N
Numbers

Modules about numbers, some of which satisfy Identifiable.S.

O
Of [Ast_helper]

Object fields

Opn [Ast_helper]

Opens

Option [Misc.Stdlib]

Extensions to the Option module

P
PackedIntArray [CamlinternalMenhirLib]
Pair [Identifiable]
Parse

Entry points in the parser

Parser
Parsetree

Abstract syntax tree produced by parsing

Pat [Ast_helper]

Patterns

Pparse

Driver for the parser and external preprocessors.

Pprintast

Pretty-printers for Parsetree

Printast

Raw printer for Parsetree

Printers [CamlinternalMenhirLib]
Profile

Compiler performance recording

R
Rf [Ast_helper]

Row fields

Right_variadic [Diffing.Define]
RowDisplacement [CamlinternalMenhirLib]
S
Set [Identifiable.S]
Set [Misc.Stdlib.String]
Sig [Ast_helper]

Signature items

Simple [Diffing_with_keys.Define]
Simple [Diffing.Define]
Simplified [CamlinternalMenhirLib.Convert]
StaticVersion [CamlinternalMenhirLib]
Stdlib [Misc]
Str [Ast_helper]

Structure items

String [Misc.Stdlib]

Extensions to the String module

String [Depend]
Strongly_connected_components

Kosaraju's algorithm for strongly connected components.

Style [Misc]
Symbols [CamlinternalMenhirLib.InspectionTableInterpreter]
Syntaxerr

Auxiliary type for reporting syntax errors

T
T [Identifiable.Tbl]
T [Identifiable.Map]
T [Identifiable.Set]
T [Identifiable.S]
TableFormat [CamlinternalMenhirLib]
TableInterpreter [CamlinternalMenhirLib]
Targetint

Target processor-native integers.

Tbl [Identifiable.S]
Tbl [Misc.Stdlib.String]
Te [Ast_helper]

Type extensions

Terminfo

Basic interface to the terminfo database

Typ [Ast_helper]

Type expressions

Type [Ast_helper]

Type declarations

U
Unit_info

This module centralize the handling of compilation files and their metadata.

V
Val [Ast_helper]

Value declarations

Vb [Ast_helper]

Value bindings

W
Warnings

Warning definitions

WithMenhir [Docstrings]