| Arg | Parsing of command line arguments.  | 
| Arg_helper | Decipher command line arguments of the form
        <value> | <key>=<value>  | 
| Array | Array operations.  | 
| ArrayLabels | Array operations.  | 
| 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  | 
| Bigarray | Large, multi-dimensional, numerical arrays.  | 
| Buffer | Extensible buffers.  | 
| Builtin_attributes | |
| Bytes | Byte sequence operations.  | 
| BytesLabels | Byte sequence operations.  | 
| Callback | Registering OCaml values with the C runtime.  | 
| CamlinternalFormat | |
| CamlinternalFormatBasics | |
| CamlinternalLazy | Run-time support for lazy values.  | 
| CamlinternalMod | Run-time support for recursive modules.  | 
| CamlinternalOO | Run-time support for objects and classes.  | 
| Ccomp | |
| Char | Character operations.  | 
| Clflags | Command line flags  | 
| Complex | Complex numbers.  | 
| Condition | Condition variables to synchronize between threads.  | 
| Config | |
| Consistbl | |
| Depend | Module dependencies.  | 
| Digest | MD5 message digest.  | 
| Docstrings | Documentation comments  | 
| Dynlink | Dynamic loading of object files.  | 
| Ephemeron | Ephemerons and weak hash table  | 
| Event | First-class synchronous communication.  | 
| Filename | Operations on file names.  | 
| Format | Pretty-printing.  | 
| Gc | Memory management control and statistics; finalised values.  | 
| Genlex | A generic lexical analyzer.  | 
| Graphics | Machine-independent graphics primitives.  | 
| GraphicsX11 | Additional graphics primitives for the X Windows system.  | 
| Hashtbl | Hash tables and hash functions.  | 
| Identifiable | Uniform interface for common data structures over various things.  | 
| Int32 | 32-bit integers.  | 
| Int64 | 64-bit integers.  | 
| Lazy | Deferred computations.  | 
| Lexer | |
| Lexing | The run-time library for lexers generated by   | 
| List | List operations.  | 
| ListLabels | List operations.  | 
| Location | Source code locations (ranges of positions), used in parsetree.  | 
| Longident | Long identifiers, used in parsetree.  | 
| Map | Association tables over ordered types.  | 
| Marshal | Marshaling of data structures.  | 
| Misc | |
| MoreLabels | Extra labeled libraries.  | 
| Mutex | Locks for mutual exclusion.  | 
| Nativeint | Processor-native integers.  | 
| Numbers | Modules about numbers, some of which satisfy   | 
| Obj | Operations on internal representations of values.  | 
| Oo | Operations on objects  | 
| Parse | Entry points in the parser  | 
| Parser | |
| Parsetree | Abstract syntax tree produced by parsing  | 
| Parsing | The run-time library for parsers generated by   | 
| Pervasives | The initially opened module.  | 
| Pparse | Driver for the parser, external preprocessors and ast plugin hooks  | 
| Pprintast | |
| Printast | |
| Printexc | Facilities for printing exceptions and inspecting current call stack.  | 
| Printf | Formatted output functions.  | 
| Profile | Compiler performance recording  | 
| Queue | First-in first-out queues.  | 
| Random | Pseudo-random number generators (PRNG).  | 
| Scanf | Formatted input functions.  | 
| Set | Sets over ordered types.  | 
| Simplif | Lambda simplification and lambda plugin hooks  | 
| Sort | Sorting and merging lists.  | 
| Spacetime | Profiling of a program's space behaviour over time.  | 
| Stack | Last-in first-out stacks.  | 
| StdLabels | Standard labeled libraries.  | 
| Str | Regular expressions and high-level string processing  | 
| Stream | Streams and parsers.  | 
| String | String operations.  | 
| StringLabels | String operations.  | 
| Strongly_connected_components | Kosaraju's algorithm for strongly connected components.  | 
| Syntaxerr | Auxiliary type for reporting syntax errors  | 
| Sys | System interface.  | 
| Targetint | Target processor-native integers.  | 
| Tbl | |
| Terminfo | |
| Thread | Lightweight threads for Posix   | 
| ThreadUnix | Thread-compatible system calls.  | 
| Typemod | Type-checking of the module language and typed ast plugin hooks  | 
| Uchar | Unicode characters.  | 
| Unix | Interface to the Unix system.  | 
| UnixLabels | Interface to the Unix system.  | 
| Warnings | |
| Weak | Arrays of weak pointers and hash sets of weak pointers.  |