| Ocaml_operators | Precedence level and associativity of operators |
| Compiler_libs | |
| CamlinternalFormatBasics | |
| CamlinternalAtomic | |
| Stdlib | The OCaml Standard library. |
| Seq | Functional iterators. |
| Option | Option values. |
| Either | Either type. |
| Result | Result values. |
| Bool | Boolean values. |
| Char | Character operations. |
| Uchar | Unicode characters. |
| Sys | System interface. |
| List | List operations. |
| Bytes | Byte sequence operations. |
| String | Strings. |
| Unit | Unit values. |
| Marshal | Marshaling of data structures. |
| Obj | Operations on internal representations of values. |
| Array | Array operations. |
| Float | Floating-point arithmetic. |
| Int | Integer values. |
| Int32 | 32-bit integers. |
| Int64 | 64-bit integers. |
| Nativeint | Processor-native integers. |
| Lexing | The run-time library for lexers generated by |
| Parsing | The run-time library for parsers generated by |
| Set | Sets over ordered types. |
| Map | Association tables over ordered types. |
| Stack | Last-in first-out stacks. |
| Queue | First-in first-out queues. |
| CamlinternalLazy | Run-time support for lazy values. |
| Lazy | Deferred computations. |
| Stream | Streams and parsers. |
| Buffer | Extensible buffers. |
| CamlinternalFormat | |
| Printf | Formatted output functions. |
| Arg | Parsing of command line arguments. |
| Atomic | This module provides a purely sequential implementation of the concurrent atomic references provided by the Multicore OCaml standard library: |
| Printexc | Facilities for printing exceptions and inspecting current call stack. |
| Fun | Function manipulation. |
| Gc | Memory management control and statistics; finalised values. |
| Digest | MD5 message digest. |
| Random | Pseudo-random number generators (PRNG). |
| Hashtbl | Hash tables and hash functions. |
| Weak | Arrays of weak pointers and hash sets of weak pointers. |
| Format | Pretty-printing. |
| Scanf | Formatted input functions. |
| Callback | Registering OCaml values with the C runtime. |
| CamlinternalOO | Run-time support for objects and classes. |
| Oo | Operations on objects |
| CamlinternalMod | Run-time support for recursive modules. |
| Genlex | A generic lexical analyzer. |
| Ephemeron | Ephemerons and weak hash tables. |
| Filename | Operations on file names. |
| Complex | Complex numbers. |
| ArrayLabels | Array operations. |
| ListLabels | List operations. |
| BytesLabels | Byte sequence operations. |
| StringLabels | Strings. |
| MoreLabels | Extra labeled libraries. |
| StdLabels | Standard labeled libraries. |
| Bigarray | Large, multi-dimensional, numerical arrays. |
| Str | Regular expressions and high-level string processing |
| Unix | Interface to the Unix system. |
| UnixLabels | Interface to the Unix system. |
| Thread | Lightweight threads for Posix |
| Condition | Condition variables to synchronize between threads. |
| Mutex | Locks for mutual exclusion. |
| Event | First-class synchronous communication. |
| Semaphore | Semaphores |
| ThreadUnix | Thread-compatible system calls. |
| Dynlink | Dynamic loading of .cmo, .cma and .cmxs files. |
| 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 |
| Builtin_attributes | Support for some of the builtin attributes |
| CamlinternalMenhirLib | |
| Depend | Module dependencies. |
| Docstrings | Documentation comments |
| Lexer | The lexical analyzer |
| Location | Source code locations (ranges of positions), used in parsetree |
| Longident | Long identifiers, used in parsetree. |
| Parse | Entry points in the parser |
| Parser | |
| Parsetree | Abstract syntax tree produced by parsing |
| Pprintast | Pretty-printers for |
| Printast | Raw printer for |
| Syntaxerr | Auxiliary type for reporting syntax errors |
| Arg_helper | Decipher command line arguments of the form
<value> | <key>=<value> |
| Binutils | |
| Build_path_prefix_map | Rewrite paths for reproducible builds |
| Ccomp | Compiling C files and building C libraries |
| Clflags | Command line flags |
| Config | System configuration |
| Consistbl | Consistency tables: for checking consistency of module CRCs |
| Domainstate | |
| Identifiable | Uniform interface for common data structures over various things. |
| Int_replace_polymorphic_compare | |
| Load_path | Management of include directories. |
| Local_store | This module provides some facilities for creating references (and hash tables) which can easily be snapshoted and restored to an arbitrary version. |
| Misc | Miscellaneous useful types and functions |
| Numbers | Modules about numbers, some of which satisfy |
| Profile | Compiler performance recording |
| Strongly_connected_components | Kosaraju's algorithm for strongly connected components. |
| Targetint | Target processor-native integers. |
| Terminfo | Basic interface to the terminfo database |
| Warnings | Warning definitions |
| Pparse | Driver for the parser and external preprocessors. |