- Control
- Concurrency
- Common
- Threads
- Condition
- Event
- Mutex
- Thread
- Exceptions
- Return
- Monad
- Codec
- Gzip
- Bz2
- Zip
- Transcode
- Data
- Containers
- Array
- Cap
- ExceptionLess
- Labels
- ExceptionLess
- Labels
- Bigarray
- Array1
- Array2
- Array3
- Genarray
- Dllist
- Dynarray
- Enum
- ExceptionLess
- Labels
- Global
- Hashtbl
- Make
- ExceptionLess
- Labels
- Lazy
- List
- ExceptionLess
- Labels
- Map
- Make
- ExceptionLess
- Labels
- Option
- Labels
- PMap
- PSet
- RefList
- Index
- Queue
- Ref
- RefList
- Set
- Make
- ExceptionLess
- Labels
- Stack
- Stream
- Logical
- Bool
- BitSet
- Unit
- Numeric
- Interfaces (formerly Common)
- Big_int
- Common
- Complex
- Float
- Int
- Int32
- Int64
- Native_int
- Num
- Safe_int
-
- Text
- Buffer
- Char
- UTF8
- Rope
- UChar
- String
- Labels
- Distro
- Packages (formerly Findlib)
- Tools (formerly Execute)
- Internals
- Callback
- Gc
- Mod (formerly CamlinternalMod)
- Obj
- Oo
- Private (formerly CamlinternalOo)
- Weak
- Make
- Network (placeholder)
- Text (formerly Languages)
- Lex
- Genlex
- Languages
- C
- OCaml
- Lexing
- Parse
- CharParser
- UCharParser
- ParserCo
- Source
- Parsing
- Pretty
- Format
- Printf
- Regexp
- Str
- PCRE (in the future)
- Scanf
- Scanning
- SExpr
- XML (placeholder)
- Standard (automatically opened)
- Sys
- Arg
- File
- IO
- BigEndian
- OptParse
- Opt
- OptParser
- StdOpt
- Path (formerly Filename)
- Shell (formerly Sys)
- Unix
- Labels
- Util
- Digest
- Random
- State
- Legacy