| Core Library | |
|   | |
| Pervasives | The initially opened module. | 
|   | |
| Standard libraries | |
|   | |
| Arg | Parsing of command line arguments. | 
| Array | Array operations. | 
| Buffer | Extensible string buffers. | 
| Callback | Registering Caml values with the C runtime. | 
| Char | Character operations. | 
| Digest | MD5 message digest. | 
| Filename | Operations on file names. | 
| Format | Pretty printing. | 
| Gc | Memory management control and statistics; finalised values. | 
| Genlex | A generic lexical analyzer. | 
| Hashtbl | Hash tables and hash functions. | 
| Int32 | 32-bit integers. | 
| Int64 | 64-bit integers. | 
| Lazy | Deferred computations. | 
| Lexing | The run-time library for lexers generated by ocamllex. | 
| List | List operations. | 
| MakeHash | Hash tables over types with specific order. | 
| MakeMap | Association tables over types with specific order. | 
| MakeSet | Sets over types with specific order. | 
| Map | Association tables over ordered types. | 
| Marshal | Marshaling of data structures. | 
| Nativeint | Processor-native integers. | 
| Obj | Operations on internal representations of values. | 
| Oo | Object-oriented extension | 
| Parsing | The run-time library for parsers generated by ocamlyacc. | 
| Printexc | Facilities for printing exceptions. | 
| Printf | Formatted output functions. | 
| Queue | First-in first-out queues. | 
| Random | Pseudo-random number generator (PRNG). | 
| Set | Sets over ordered types. | 
| Stack | Last-in first-out stacks. | 
| Stream | Streams and parsers. | 
| String | String operations. | 
| Sys | System interface. | 
| Weak | Arrays of weak pointers. | 
|   | |
| 
Other libraries | |
|   | |
| Bigarray | Large, multi-dimensional, numerical arrays. | 
| Dbm | Interface to the NDBM database. | 
| Dynlink | Dynamic loading of bytecode object files. | 
| Str | Regular expressions and high-level string processing | 
| Thread | Lightweight threads for Posix 1003.1cand Win32. | 
| Unix | Interface to the Unix system |