OCaml compiler library

Warning

This library is part of the internal OCaml compiler API, and is not the language standard library. There are no compatibility guarantees between releases, so code written against these modules must be willing to depend on specific OCaml compiler versions.
Ast_iterator

Ast_iterator.iterator enables AST inspection using open recursion.

Builtin_attributes

Support for some of the builtin attributes

Ast_mapper

The interface of a -ppx rewriter

Printast

Raw printer for Parsetree

Ast_helper

Helpers to produce Parsetree fragments

Pprintast

Pretty-printers for Parsetree

Parsetree

Abstract syntax tree produced by parsing

Location

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

Syntaxerr

Auxiliary type for reporting syntax errors

Attr_helper

Helpers for attributes

Lexer

The lexical analyzer

Longident

Long identifiers, used in parsetree.

Parser
Ast_invariants

Check AST invariants

Docstrings

Documentation comments

Depend

Module dependencies.

Parse

Entry points in the parser

Asttypes

Auxiliary AST types used by parsetree and typedtree.

Terminfo

Basic interface to the terminfo database

Clflags

Command line flags

Lazy_backtrack
Strongly_connected_components

Kosaraju's algorithm for strongly connected components.

Arg_helper

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

Identifiable

Uniform interface for common data structures over various things.

Misc

Miscellaneous useful types and functions

Build_path_prefix_map

Rewrite paths for reproducible builds

Int_replace_polymorphic_compare
Profile

Compiler performance recording

Ccomp

Compiling C files and building C libraries

Targetint

Target processor-native integers.

Binutils
Local_store

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

Numbers

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

Domainstate
Load_path

Management of include directories.

Consistbl

Consistency tables: for checking consistency of module CRCs

Warnings

Warning definitions

Config

System configuration

Pparse

Driver for the parser and external preprocessors.