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

Arg | Parsing of command line arguments.
Array |
ArrayLabels |
Bigarray | Large, multi-dimensional, numerical arrays.
Bool | Boolean values.
Buffer | Extensible buffers.
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.
Char | Character operations.
Complex | Complex numbers.
Condition | Condition variables to synchronize between threads.
Digest | MD5 message digest.
Dynlink | Dynamic loading of .cmo, .cma and .cmxs files.
Ephemeron | Ephemerons and weak hash table
Event | First-class synchronous communication.
Filename | Operations on file names.
Float | Floating-point arithmetic
Format | Pretty-printing.
Fun | Function manipulation.
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.
Int | Integer values.
Int32 | 32-bit integers.
Int64 | 64-bit integers.
Lazy | Deferred computations.
Lexing | The run-time library for lexers generated by `ocamllex`.
List | List operations.
ListLabels |
Map | Association tables over ordered types.
Marshal | Marshaling of data structures.
MoreLabels | Extra labeled libraries.
Mutex | Locks for mutual exclusion.
Nativeint | Processor-native integers.
Obj | Operations on internal representations of values.
Ocaml_operators | Precedence level and associativity of operators
Oo | Operations on objects
Option | Option values.
Parsing | The run-time library for parsers generated by `ocamlyacc`.
Pervasives |
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).
Result | Result values.
Scanf | Formatted input functions.
Seq | Functional Iterators
Set | Sets over ordered types.
Spacetime | Profiling of a program's space behaviour over time.
Stack | Last-in first-out stacks.
StdLabels | Standard labeled libraries.
Stdlib | The OCaml Standard library.
Str | Regular expressions and high-level string processing
Stream | Streams and parsers.
String | String operations.
StringLabels | String operations.
Sys | System interface.
Thread | Lightweight threads for Posix `1003.1c` and Win32.
ThreadUnix | Thread-compatible system calls.
Uchar | Unicode characters.
Unit | Unit values.
Unix | Interface to the Unix system.
UnixLabels | Interface to the Unix system.
Weak | Arrays of weak pointers and hash sets of weak pointers.