Chapter 1 The core language 1.1 Basics 1.2 Data types 1.3 Functions as values 1.4 Records and variants 1.4.1 Record and variant disambiguation 1.5 Imperative features ...

8.10 Overriding in open statements 8.10 Overriding in open statements (Introduced in OCaml 4.01) definition ::= … ∣ open! module-path specification ::= …...

8.14 Extension nodes 8.14.1 Built-in extension nodes 8.14 Extension nodes 8.14.1 Built-in extension nodes (Introduced in OCaml 4.02,infix notations for constructs...

Chapter 14 The browser/editor (ocamlbrowser) Chapter 14 The browser/editor (ocamlbrowser) Since OCaml version 4.02, the OCamlBrowser tool and the Labltk libraryare di...

6.7.4. Specific types of packages 6.7.4. Specific types of packages Several specific types of packages have special sub-policies and corresponding packaging rules and practices...

Chapter 26 The num library: arbitrary-precision rational arithmetic Chapter 26 The num library: arbitrary-precision rational arithmetic The num library implements intege...

Chapter 28 The threads library Chapter 28 The threads library Warning: the threads library is deprecated since version4.08.0 of OCaml. Please switch to system threads...

Chapter 25 The unix library: Unix system calls Chapter 25 The unix library: Unix system calls The unix library makes many Unixsystem calls and system-related library ...

8.8 Substituting inside a signature 8.8.1 Destructive substitutions 8.8.2 Local substitution declarations 8.8 Substituting inside a signature 8.8.1 Destructive sub...

Chapter 13 Lexer and parser generators (ocamllex, ocamlyacc) 13.1 Overview of ocamllex 13.1.1 Options 13.2 Syntax of lexer definitions 13.2.1 Header and trailer 13.2.2 Nam...