| Arg_helper | Decipher command line arguments of the form
<value> | <key>=<value> |
| Ast_helper | Helpers to produce Parsetree fragments |
| Ast_invariants | Check AST invariants |
| Ast_iterator |
|
| Ast_mapper | The interface of a -ppx rewriter |
| Asttypes | Auxiliary AST types used by parsetree and typedtree. |
| Attr_helper | Helpers for attributes |
| Build_path_prefix_map | |
| Builtin_attributes | |
| CamlinternalMenhirLib | |
| Ccomp | |
| Clflags | Command line flags |
| Config | |
| Consistbl | |
| Depend | Module dependencies. |
| Docstrings | Documentation comments |
| Identifiable | Uniform interface for common data structures over various things. |
| Lexer | |
| Location | Source code locations (ranges of positions), used in parsetree |
| Longident | Long identifiers, used in parsetree. |
| Misc | |
| Numbers | Modules about numbers, some of which satisfy |
| Parse | Entry points in the parser |
| Parser | |
| Parsetree | Abstract syntax tree produced by parsing |
| Pparse | Driver for the parser, external preprocessors and ast plugin hooks |
| Pprintast | |
| Printast | |
| Profile | Compiler performance recording |
| Simplif | Lambda simplification and lambda plugin hooks |
| Strongly_connected_components | Kosaraju's algorithm for strongly connected components. |
| Syntaxerr | Auxiliary type for reporting syntax errors |
| Targetint | Target processor-native integers. |
| Terminfo | |
| Typemod | Type-checking of the module language and typed ast plugin hooks |
| Warnings |