Index of modules

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

Extensions to the Array module

Build artifacts

Helpers to produce Parsetree fragments

Check AST invariants

Ast_iterator.iterator enables AST inspection using open recursion.

The interface of a -ppx rewriter

Auxiliary AST types used by parsetree and typedtree.

Attributes

Helpers for attributes

Rewrite paths for reproducible builds

Support for the builtin attributes:

Compiling C files and building C libraries

Class fields

Classes

Class expressions

Command line flags

Color support detection

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

System configuration

System configuration

System configuration

Consistency tables: for checking consistency of module CRCs

Class signatures

Class structures

Class type fields

Class type expressions

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

Module dependencies.

Parametric diffing

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.

Definitions and immutable API for composing documents

Format_doc functions for error messages

Documentation comments

Expressions

Optimization parameters represented as floats indexed by round number.

Composable document for the Format formatting engine.

Uniform interface for common data structures over various things.

Includes

Optimization parameters represented as ints indexed by round number.

Variadic diffing

The lexical analyzer

Extensions to the List module

Management of include directories.

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

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

Long identifiers, used in parsetree.

Module bindings

Module declarations

Miscellaneous useful types and functions

Module expressions

Module substitutions

Module type declarations

Module type expressions

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

Object fields

Opens

Extensions to the Option module

Entry points in the parser

Abstract syntax tree produced by parsing

Patterns

Driver for the parser and external preprocessors.

Pretty-printers for Parsetree

Raw printer for Parsetree

Compiler performance recording

Row fields

Signature items

Structure items

Extensions to the String module

Kosaraju's algorithm for strongly connected components.

Auxiliary type for reporting syntax errors

Target processor-native integers.

Type extensions

Basic interface to the terminfo database

Type expressions

Type declarations

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

Value declarations

Value bindings

Warning definitions