The OCaml Compiler API
(search values, type signatures, and descriptions - case sensitive)- You may search bare values, like
map, or indicate the module, likeList.map, or type signatures, likeint -> float. - To combine several keywords, just separate them by a space - except if you want to search type signatures: then you must use two spaces as separators.
- You may use the special chars
^and$to indicate where the matched string should start or end, respectively.
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 |
|
| CamlinternalMenhirLib | |
| Ast_invariants | Check AST invariants |
| Ast_mapper | The interface of a -ppx rewriter |
| Printast | Raw printer for |
| Builtin_attributes | Support for some of the builtin attributes |
| Pprintast | Pretty-printers for |
| Parse | Entry points in the parser |
| Location | Source code locations (ranges of positions), used in parsetree |
| Ast_helper | Helpers to produce Parsetree fragments |
| Syntaxerr | Auxiliary type for reporting syntax errors |
| Attr_helper | Helpers for attributes |
| Asttypes | Auxiliary AST types used by parsetree and typedtree. |
| Lexer | The lexical analyzer |
| Longident | Long identifiers, used in parsetree. |
| Parser | |
| Docstrings | Documentation comments |
| Parsetree | Abstract syntax tree produced by parsing |
| Depend | Module dependencies. |
| Terminfo | Basic interface to the terminfo database |
| Clflags | Command line flags |
| Arg_helper | Decipher command line arguments of the form
<value> | <key>=<value> |
| Targetint | Target processor-native integers. |
| Profile | Compiler performance recording |
| Strongly_connected_components | Kosaraju's algorithm for strongly connected components. |
| Load_path | Management of include directories. |
| Build_path_prefix_map | Rewrite paths for reproducible builds |
| Identifiable | Uniform interface for common data structures over various things. |
| Ccomp | Compiling C files and building C libraries |
| Misc | Miscellaneous useful types and functions |
| Numbers | Modules about numbers, some of which satisfy |
| Consistbl | Consistency tables: for checking consistency of module CRCs |
| Warnings | Warning definitions |
| Config | System configuration |
| Typemod | Type-checking of the module language and typed ast plugin hooks |
| Simplif | Lambda simplification and lambda plugin hooks |
| Pparse | Driver for the parser, external preprocessors and ast plugin hooks |