Decipher command line arguments of the form <value> | <key>=<value>,... (as used for example for the specification of inlining parameters varying by simplification round).
,...
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
Class fields
Classes
Class expressions
Command line flags
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.
Source code locations (ranges of positions), used in parsetree
Long identifiers, used in parsetree.
Module bindings
Module declarations
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
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
Type expressions
Type declarations
Type-checking of the module language and typed ast plugin hooks
Value declarations
Value bindings