| A | |
| Arg | Parsing of command line arguments. | 
| Arg_helper | Decipher command line arguments of the form
        <value> | <key>=<value> | 
| Array [StdLabels] | |
| Array [Misc.Stdlib] | |
| Array [Float] | |
| Array | Array operations. | 
| Array0 [Bigarray] | Zero-dimensional arrays. | 
| Array1 [Bigarray] | One-dimensional arrays. | 
| Array2 [Bigarray] | Two-dimensional arrays. | 
| Array3 [Bigarray] | Three-dimensional arrays. | 
| ArrayLabels | Array operations. | 
| Ast_helper | Helpers to produce Parsetree fragments | 
| Ast_invariants | Check AST invariants | 
| Ast_iterator | 
 | 
| Ast_mapper | The interface of a -ppx rewriter | 
| Asttypes | Auxiliary AST types used by parsetree and typedtree. | 
| Attr_helper | Helpers for attributes | 
| B | |
| Bigarray | Large, multi-dimensional, numerical arrays. | 
| Buffer | Extensible buffers. | 
| Build_path_prefix_map | |
| Builtin_attributes | |
| Bytes [StdLabels] | |
| Bytes | Byte sequence operations. | 
| BytesLabels | Byte sequence operations. | 
| C | |
| 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. | 
| Ccomp | |
| Cf [Ast_helper] | Class fields | 
| Char | Character operations. | 
| Ci [Ast_helper] | Classes | 
| Cl [Ast_helper] | Class expressions | 
| Clflags | Command line flags | 
| Color [Misc] | |
| Complex | Complex numbers. | 
| Condition | Condition variables to synchronize between threads. | 
| Config | |
| Consistbl | |
| Const [Ast_helper] | |
| Csig [Ast_helper] | Class signatures | 
| Cstr [Ast_helper] | Class structures | 
| Ctf [Ast_helper] | Class type fields | 
| Cty [Ast_helper] | Class type expressions | 
| D | |
| Depend | Module dependencies. | 
| Digest | MD5 message digest. | 
| Docstrings | Documentation comments | 
| Dynlink | Dynamic loading of object files. | 
| E | |
| Ephemeron [Obj] | |
| Ephemeron | Ephemerons and weak hash table | 
| Event | First-class synchronous communication. | 
| Exp [Ast_helper] | Expressions | 
| F | |
| Filename | Operations on file names. | 
| Float [Numbers] | |
| Float | Floating-point arithmetic | 
| Float_arg_helper [Clflags] | Optimization parameters represented as floats indexed by round number. | 
| Format | Pretty-printing. | 
| G | |
| Gc | Memory management control and statistics; finalised values. | 
| GenHashTable [Ephemeron] | |
| Genarray [Bigarray] | |
| Genlex | A generic lexical analyzer. | 
| Graphics | Machine-independent graphics primitives. | 
| GraphicsX11 | Additional graphics primitives for the X Windows system. | 
| H | |
| Hashtbl [MoreLabels] | |
| Hashtbl | Hash tables and hash functions. | 
| Hooks [Simplif] | |
| I | |
| Id [Strongly_connected_components.S] | |
| Identifiable | Uniform interface for common data structures over various things. | 
| ImplementationHooks [Typemod] | |
| ImplementationHooks [Pparse] | |
| Incl [Ast_helper] | Includes | 
| Int [Numbers] | |
| Int16 [Numbers] | |
| Int32 | 32-bit integers. | 
| Int64 | 64-bit integers. | 
| Int8 [Numbers] | |
| Int_arg_helper [Clflags] | Optimization parameters represented as ints indexed by round number. | 
| Int_literal_converter [Misc] | |
| InterfaceHooks [Typemod] | |
| InterfaceHooks [Pparse] | |
| K | |
| K1 [Ephemeron] | |
| K2 [Ephemeron] | |
| Kn [Ephemeron] | |
| L | |
| LargeFile [UnixLabels] | File operations on large files. | 
| LargeFile [Unix] | File operations on large files. | 
| LargeFile [Pervasives] | Operations on large files. | 
| Lazy | Deferred computations. | 
| Lexer | |
| Lexing | The run-time library for lexers generated by  | 
| List [StdLabels] | |
| List [Misc.Stdlib] | |
| List | List operations. | 
| ListLabels | List operations. | 
| Location | Source code locations (ranges of positions), used in parsetree. | 
| LongString [Misc] | |
| Longident | Long identifiers, used in parsetree. | 
| M | |
| Make [Weak] | Functor building an implementation of the weak hash set structure. | 
| Make [Strongly_connected_components] | |
| Make [Set] | Functor building an implementation of the set structure given a totally ordered type. | 
| Make [MoreLabels.Set] | |
| Make [MoreLabels.Map] | |
| Make [MoreLabels.Hashtbl] | |
| Make [Map] | Functor building an implementation of the map structure given a totally ordered type. | 
| Make [Identifiable] | |
| 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 | 
| Make [Arg_helper] | |
| MakeHooks [Misc] | |
| MakeSeeded [MoreLabels.Hashtbl] | |
| 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. | 
| Map [Identifiable.S] | |
| Marshal | Marshaling of data structures. | 
| Mb [Ast_helper] | Module bindings | 
| Md [Ast_helper] | Module declarations | 
| Misc | |
| Mod [Ast_helper] | Module expressions | 
| MoreLabels | Extra labeled libraries. | 
| Mtd [Ast_helper] | Module type declarations | 
| Mty [Ast_helper] | Module type expressions | 
| Mutex | Locks for mutual exclusion. | 
| N | |
| Nativeint | Processor-native integers. | 
| Numbers | Modules about numbers, some of which satisfy  | 
| O | |
| Obj | Operations on internal representations of values. | 
| Oo | Operations on objects | 
| Opn [Ast_helper] | Opens | 
| Option [Misc.Stdlib] | |
| P | |
| Pair [Identifiable] | |
| Parse | Entry points in the parser | 
| Parser | |
| Parsetree | Abstract syntax tree produced by parsing | 
| Parsing | The run-time library for parsers generated by  | 
| Pat [Ast_helper] | Patterns | 
| Pervasives | Pervasive operations. | 
| Pparse | Driver for the parser, external preprocessors and ast plugin hooks | 
| Pprintast | |
| Printast | |
| Printexc | Facilities for printing exceptions and inspecting current call stack. | 
| Printf | Formatted output functions. | 
| Profile | Compiler performance recording | 
| Q | |
| Queue | First-in first-out queues. | 
| R | |
| Random | Pseudo-random number generators (PRNG). | 
| S | |
| Scanf | Formatted input functions. | 
| Scanning [Scanf] | |
| Seq | Functional Iterators | 
| Series [Spacetime] | |
| Set | Sets over ordered types. | 
| Set [MoreLabels] | |
| Set [Identifiable.S] | |
| Sig [Ast_helper] | Signature items | 
| Simplif | Lambda simplification and lambda plugin hooks | 
| Slot [Printexc] | |
| Snapshot [Spacetime] | |
| Sort | Sorting and merging lists. | 
| Spacetime | Profiling of a program's space behaviour over time. | 
| Stack | Last-in first-out stacks. | 
| State [Random] | |
| StdLabels | Standard labeled libraries. | 
| Stdlib [Misc] | |
| Str | Regular expressions and high-level string processing | 
| Str [Ast_helper] | Structure items | 
| Stream | Streams and parsers. | 
| String | String operations. | 
| String [StdLabels] | |
| StringLabels | String operations. | 
| StringMap [Misc] | |
| StringMap [Depend] | |
| StringSet [Misc] | |
| StringSet [Depend] | |
| Strongly_connected_components | Kosaraju's algorithm for strongly connected components. | 
| Syntaxerr | Auxiliary type for reporting syntax errors | 
| Sys | System interface. | 
| T | |
| T [Identifiable.Tbl] | |
| T [Identifiable.Map] | |
| T [Identifiable.Set] | |
| T [Identifiable.S] | |
| Targetint | Target processor-native integers. | 
| Tbl | |
| Tbl [Identifiable.S] | |
| Te [Ast_helper] | Type extensions | 
| Terminfo | |
| Thread | Lightweight threads. | 
| ThreadUnix | Thread-compatible system calls. | 
| Typ [Ast_helper] | Type expressions | 
| Type [Ast_helper] | Type declarations | 
| Typemod | Type-checking of the module language and typed ast plugin hooks | 
| U | |
| Uchar | Unicode characters. | 
| Unix | Interface to the Unix system. | 
| UnixLabels | Interface to the Unix system. | 
| V | |
| Val [Ast_helper] | Value declarations | 
| Vb [Ast_helper] | Value bindings | 
| W | |
| Warnings | |
| Weak | Arrays of weak pointers and hash sets of weak pointers. |