| Arg | 
Parsing of command line arguments.
 | 
| Arg_helper | 
Decipher command line arguments of the form
        <value> | <key>=<value> ,...(as used for example for the specification of inlining parameters
    varying by simplification round). | 
| Arith_status | 
Flags that control rational arithmetic.
 | 
| Array | 
Array operations.
 | 
| ArrayLabels | 
Array operations.
 | 
| Ast_helper | 
Helpers to produce Parsetree fragments
 | 
| Ast_invariants | 
Check AST invariants
 | 
| Ast_iterator | Ast_iterator.iteratorallows to implement AST inspection using open recursion. | 
| Ast_mapper | 
The interface of a -ppx rewriter
 | 
| Asttypes | 
Auxiliary AST types used by parsetree and typedtree.
 | 
| Attr_helper | 
Helpers for attributes
 | 
| Big_int | 
Operations on arbitrary-precision integers.
 | 
| 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 | 
Optimization parameters represented as ints indexed by round number.
 | 
| 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  ocamllex. | 
| 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 | protect_refs l ftemporarily setsrtovfor eachR (r, v)inlwhile executingf. | 
| MoreLabels | 
Extra labeled libraries.
 | 
| Mutex | 
Locks for mutual exclusion.
 | 
| Nativeint | 
Processor-native integers.
 | 
| Num | 
Operation on arbitrary-precision numbers.
 | 
| Numbers | 
Modules about numbers that satisfy  Identifiable.S. | 
| 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  ocamlyacc. | 
| Pervasives | 
The initially opened module.
 | 
| Pprintast | |
| Printast | |
| Printexc | 
Facilities for printing exceptions and inspecting current call stack.
 | 
| Printf | 
Formatted output functions.
 | 
| Queue | 
First-in first-out queues.
 | 
| Random | 
Pseudo-random number generators (PRNG).
 | 
| Ratio | 
Operation on rational numbers.
 | 
| Scanf | 
Formatted input functions.
 | 
| Set | 
Sets over ordered types.
 | 
| 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  1003.1cand Win32. | 
| ThreadUnix | 
Thread-compatible system calls.
 | 
| Timings | 
Compiler performance recording
 | 
| 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.
 |