| Arg | Parsing of command line arguments. |
| Array | |
| ArrayLabels | Array operations |
| 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. |
| 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 |
| 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 |
| 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 |
| 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. |