Decipher command line arguments of the form <value> | <key>=<value>,...
,...
Helpers to produce Parsetree fragments
Check AST invariants
Ast_iterator.iterator allows to implement AST inspection using open recursion.
Ast_iterator.iterator
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
System configuration
Consistency tables: for checking consistency of module CRCs
Class signatures
Class structures
Class type fields
Class type expressions
Module dependencies.
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.
The lexical analyzer
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 type declarations
Module type expressions
Modules about numbers, some of which satisfy Identifiable.S.
Identifiable.S
Object fields
Opens
Entry points in the parser
Abstract syntax tree produced by parsing
Patterns
Driver for the parser, external preprocessors and ast plugin hooks
Pretty-printers for Parsetree
Parsetree
Raw printer for Parsetree
Compiler performance recording
Row fields
Signature items
Lambda simplification and lambda plugin hooks
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
Type-checking of the module language and typed ast plugin hooks
Value declarations
Value bindings
Warning definitions