- Index of types
- Index of exceptions
- Index of values
- Index of modules
- Index of module types

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).
Array | Array operations.
ArrayLabels | Array operations.
Ast_helper | Helpers to produce Parsetree fragments
Ast_invariants | Check AST invariants
Ast_iterator | `Ast_iterator.iterator` allows 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
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 `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 |
MoreLabels | Extra labeled libraries.
Mutex | Locks for mutual exclusion.
Nativeint | Processor-native integers.
Numbers | Modules about numbers, some of which 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.
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 `1003.1c` and Win32.
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.