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.
Helpers to produce Parsetree fragments
Check AST invariants
The interface of a -ppx rewriter
Auxiliary AST types used by parsetree and typedtree.
Helpers for attributes
Support for some of the builtin attributes
The lexical analyzer
Source code locations (ranges of positions), used in parsetree.
Long identifiers, used in parsetree.
Entry points in the parser
Abstract syntax tree produced by parsing
Raw printer for
Auxiliary type for reporting syntax errors
Decipher command line arguments of the form
<value> | <key>=<value>
Rewrite paths for reproducible builds
Compiling C files and building C libraries
Command line flags
Consistency tables: for checking consistency of module CRCs
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.
Uniform interface for common data structures over various things.
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.
Miscellaneous useful types and functions
Modules about numbers, some of which satisfy
Compiler performance recording
Kosaraju's algorithm for strongly connected components.
Target processor-native integers.
Basic interface to the terminfo database
Driver for the parser and external preprocessors.