Index of modules

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

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 some of the builtin attributes

Compiling C files and building C libraries

Class fields

Classes

Class expressions

Command line flags

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.

Documentation comments

Expressions

Optimization parameters represented as floats indexed by round number.

Uniform interface for common data structures over various things.

Includes

Optimization parameters represented as ints indexed by round number.

Variadic diffing

The lexical analyzer

Management of include directories.

This module provides some facilities for creating references (and hash tables) which can easily be snapshoted 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

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

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

Value declarations

Value bindings

Warning definitions