The OCaml system
release 4.00
Documentation and user’s manual
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon
July 26, 2012
Copyright © 2012 Institut National de Recherche en Informatique et en Automatique

> This manual is also available in PDF. Postscript, DVI, plain text, as a bundle of HTML files, and as a bundle of Emacs Info files.

- Contents
- Foreword

# Part I
An introduction to OCaml

- The core language
- The module system
- Objects in OCaml
- Labels and variants
- Advanced examples with classes and modules

# Part II
The OCaml language

- The OCaml language
- Language extensions

# Part III
The OCaml tools

- Batch compilation (ocamlc)
- The toplevel system (ocaml)
- The runtime system (ocamlrun)
- Native-code compilation (ocamlopt)
- Lexer and parser generators (ocamllex, ocamlyacc)
- Dependency generator (ocamldep)
- The browser/editor (ocamlbrowser)
- The documentation generator (ocamldoc)
- The debugger (ocamldebug)
- Profiling (ocamlprof)
- The ocamlbuild compilation manager
- Interfacing C with OCaml

# Part IV
The OCaml library

- The core library
- The standard library
- The unix library: Unix system calls
- The num library: arbitrary-precision rational arithmetic
- The str library: regular expressions and string processing
- The threads library
- The graphics library
- The dynlink library: dynamic loading and linking of object files
- The LablTk library: Tcl/Tk GUI interface
- The bigarray library

# Part V
Appendix

- Index of modules
- Index of module types
- Index of types
- Index of exceptions
- Index of values

- Index of keywords

> This document was translated from LATEX by HEVEA.