Chapter 14: Implicit Coercions
Amokrane Saïbi
14.1 General Presentation
14.2 Classes
14.3 Coercions
14.4 Identity Coercions
14.5 Inheritance Graph
14.6 Declaration of Coercions
14.7 Displaying Available Coercions
14.8 Activating the Printing of Coercions
14.9 Classes as Records
14.10 Coercions and Sections
14.11 Examples