A  
Arg  Parsing of command line arguments. 
Array [StdLabels]  
Array [Float]  Float arrays with packed representation. 
Array  Array operations. 
Array0 [Bigarray]  Zerodimensional arrays. 
Array1 [Bigarray]  Onedimensional arrays. 
Array2 [Bigarray]  Twodimensional arrays. 
Array3 [Bigarray]  Threedimensional 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, multidimensional, numerical arrays. 
Binary [Semaphore]  
Bool  Boolean values. 
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  Runtime support for lazy values. 
CamlinternalMod  Runtime support for recursive modules. 
CamlinternalOO  Runtime 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  Firstclass synchronous communication. 
Extension_constructor [Obj]  
F  
Filename  Operations on file names. 
Float  Floatingpoint arithmetic. 
Format  Prettyprinting. 
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]  
Int  Integer values. 
Int32  32bit integers. 
Int64  64bit integers. 
K  
K1 [Ephemeron]  Ephemerons with one key. 
K2 [Ephemeron]  Emphemerons with two keys. 
Kn [Ephemeron]  Emphemerons 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 runtime 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  Processornative integers. 
O  
Obj  Operations on internal representations of values. 
Ocaml_operators  Precedence level and associativity of operators 
Oo  Operations on objects 
Option  Option values. 
P  
Parsing  The runtime library for parsers generated by 
Printexc  Facilities for printing exceptions and inspecting current call stack. 
Printf  Formatted output functions. 
Q  
Queue  Firstin firstout queues. 
R  
Random  Pseudorandom number generators (PRNG). 
Result  Result values. 
S  
Scanf  Formatted input functions. 
Scanning [Scanf]  
Semaphore  Semaphores 
Seq  Functional iterators. 
Set  Sets over ordered types. 
Set [MoreLabels]  
Slot [Printexc]  
Stack  Lastin firstout stacks. 
State [Random]  
StdLabels  Standard labeled libraries. 
Stdlib  The OCaml Standard library. 
Str  Regular expressions and highlevel string processing 
Stream  Streams and parsers. 
String  Strings. 
String [StdLabels]  
StringLabels  Strings. 
Sys  System interface. 
T  
Thread  Lightweight threads for Posix 
ThreadUnix  Threadcompatible 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. 