• The OCaml language
• Language extensions

Chapter 10Language extensions

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

• 1Recursive definitions of values
• 2Recursive modules
• 3Private types
• 4Locally abstract types
• 5First-class modules
• 6Recovering the type of a module
• 7Substituting inside a signature
• 8Type-level module aliases
• 9Overriding in open statements
• 10Generalized algebraic datatypes
• 11Syntax for Bigarray access
• 12Attributes
• 13Extension nodes
• 14Extensible variant types
• 15Generative functors
• 16Extension-only syntax
• 17Inline records
• 18Documentation comments
• 19Extended indexing operators
• 20Empty variant types
• 21Alerts
• 22Generalized open statements
• 23Binding operators