| A | |
| Arg | Parsing of command line arguments. | 
| Array [StdLabels] | |
| Array [Float] | Float arrays with packed representation. | 
| Array | Array operations. | 
| Array0 [Bigarray] | Zero-dimensional arrays. | 
| Array1 [Bigarray] | One-dimensional arrays. | 
| Array2 [Bigarray] | Two-dimensional arrays. | 
| Array3 [Bigarray] | Three-dimensional arrays. | 
| ArrayLabels [Float] | Float arrays with packed representation (labeled functions). | 
| ArrayLabels | Array operations. | 
| Atomic | This module provides a purely sequential implementation of the concurrent atomic references provided by the Multicore OCaml standard library: | 
| B | |
| Bigarray | Large, multi-dimensional, numerical arrays. | 
| Binary [Semaphore] | |
| Bool | Boolean values. | 
| Bucket [Ephemeron.Kn] | |
| Bucket [Ephemeron.K2] | |
| Bucket [Ephemeron.K1] | |
| Buffer | Extensible buffers. | 
| Bytes [StdLabels] | |
| Bytes | Byte sequence operations. | 
| BytesLabels | Byte sequence operations. | 
| C | |
| Callback | Registering OCaml values with the C runtime. | 
| CamlinternalAtomic | |
| 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. | 
| Closure [Obj] | |
| Complex | Complex numbers. | 
| Condition | Condition variables to synchronize between threads. | 
| Counting [Semaphore] | |
| D | |
| Digest | MD5 message digest. | 
| Dynlink | Dynamic loading of .cmo, .cma and .cmxs files. | 
| E | |
| Either | Either type. | 
| Ephemeron [Obj] | |
| Ephemeron | Ephemerons and weak hash tables. | 
| Event | First-class synchronous communication. | 
| Extension_constructor [Obj] | |
| F | |
| Filename | Operations on file names. | 
| Float | Floating-point arithmetic. | 
| Format | Pretty-printing. | 
| Format_tutorial | Using the Format module | 
| Fun | Function manipulation. | 
| G | |
| Gc | Memory management control and statistics; finalised values. | 
| GenHashTable [Ephemeron] | Hash tables on generic containers with notion of death and aliveness. | 
| Genarray [Bigarray] | |
| Genlex | A generic lexical analyzer. | 
| H | |
| Hashtbl [MoreLabels] | |
| Hashtbl | Hash tables and hash functions. | 
| I | |
| Immediate64 [Sys] | |
| In_channel | Input channels. | 
| Int | Integer values. | 
| Int32 | 32-bit integers. | 
| Int64 | 64-bit integers. | 
| K | |
| K1 [Ephemeron] | Ephemerons with one key. | 
| K2 [Ephemeron] | Ephemerons with two keys. | 
| Kn [Ephemeron] | Ephemerons with arbitrary number of keys of the same type. | 
| L | |
| LargeFile [UnixLabels] | File operations on large files. | 
| LargeFile [Unix] | File operations on large files. | 
| Lazy | Deferred computations. | 
| Lexing | The run-time library for lexers generated by  | 
| List [StdLabels] | |
| List | List operations. | 
| ListLabels | List operations. | 
| M | |
| Make [Weak] | Functor building an implementation of the weak hash set structure. | 
| Make [Sys.Immediate64] | |
| Make [Set] | Functor building an implementation of the set structure given a totally ordered type. | 
| Make [MoreLabels.Set] | Functor building an implementation of the set structure given a totally ordered type. | 
| Make [MoreLabels.Map] | Functor building an implementation of the map structure given a totally ordered type. | 
| Make [MoreLabels.Hashtbl] | Functor building an implementation of the hashtable structure. | 
| Make [Map] | Functor building an implementation of the map structure given a totally ordered type. | 
| Make [Hashtbl] | Functor building an implementation of the hashtable structure. | 
| Make [Ephemeron.Kn] | Functor building an implementation of a weak hash table | 
| Make [Ephemeron.K2] | Functor building an implementation of a weak hash table | 
| Make [Ephemeron.K1] | Functor building an implementation of a weak hash table | 
| MakeSeeded [MoreLabels.Hashtbl] | Functor building an implementation of the hashtable structure. | 
| MakeSeeded [Hashtbl] | Functor building an implementation of the hashtable structure. | 
| MakeSeeded [Ephemeron.GenHashTable] | Functor building an implementation of an hash table that use the container for keeping the information given | 
| MakeSeeded [Ephemeron.Kn] | Functor building an implementation of a weak hash table. | 
| MakeSeeded [Ephemeron.K2] | Functor building an implementation of a weak hash table. | 
| MakeSeeded [Ephemeron.K1] | Functor building an implementation of a weak hash table. | 
| Map [MoreLabels] | |
| Map | Association tables over ordered types. | 
| Marshal | Marshaling of data structures. | 
| Memprof [Gc] | 
 | 
| MoreLabels | Extra labeled libraries. | 
| Mutex | Locks for mutual exclusion. | 
| N | |
| Nativeint | Processor-native integers. | 
| O | |
| Obj | Operations on internal representations of values. | 
| Ocaml_operators | Precedence level and associativity of operators | 
| Oo | Operations on objects | 
| Option | Option values. | 
| Out_channel | Output channels. | 
| P | |
| Parsing | The run-time library for parsers generated by  | 
| Printexc | Facilities for printing exceptions and inspecting current call stack. | 
| Printf | Formatted output functions. | 
| Q | |
| Queue | First-in first-out queues. | 
| R | |
| Random | Pseudo-random number generators (PRNG). | 
| Result | Result values. | 
| S | |
| Scanf | Formatted input functions. | 
| Scanning [Scanf] | |
| Semaphore | Semaphores | 
| Seq | Sequences. | 
| Set | Sets over ordered types. | 
| Set [MoreLabels] | |
| Slot [Printexc] | |
| Stack | Last-in first-out stacks. | 
| State [Random] | |
| StdLabels | Standard labeled libraries. | 
| Stdlib | The OCaml Standard library. | 
| Str | Regular expressions and high-level string processing | 
| Stream | Streams and parsers. | 
| String | Strings. | 
| String [StdLabels] | |
| StringLabels | Strings. | 
| Sys | System interface. | 
| T | |
| Thread | Lightweight threads for Posix  | 
| ThreadUnix | Thread-compatible system calls. | 
| U | |
| Uchar | Unicode characters. | 
| Unit | Unit values. | 
| Unix | Interface to the Unix system. | 
| UnixLabels | Interface to the Unix system. | 
| W | |
| Weak | Arrays of weak pointers and hash sets of weak pointers. |