Chapter 12 Language extensions

This chapter describes language extensions and convenience features that are implemented in OCaml, but not described in chapter 11.

• 12.1 Recursive definitions of values
• 12.2 Recursive modules
• 12.3 Private types
• 12.4 Locally abstract types
• 12.5 First-class modules
• 12.6 Recovering the type of a module
• 12.7 Substituting inside a signature
• 12.8 Type-level module aliases
• 12.9 Overriding in open statements
• 12.10 Generalized algebraic datatypes
• 12.11 Syntax for Bigarray access
• 12.12 Attributes
• 12.13 Extension nodes
• 12.14 Extensible variant types
• 12.15 Generative functors
• 12.16 Extension-only syntax
• 12.17 Inline records
• 12.18 Documentation comments
• 12.19 Extended indexing operators
• 12.20 Empty variant types
• 12.21 Alerts
• 12.22 Generalized open statements
• 12.23 Binding operators
• 12.24 Effect handlers