Chapter 3. KerMeta sub-typing rules
Prev   Next

Chapter 3. KerMeta sub-typing rules

Prev   Next
Chapter 2. Overview of the type system Home 3.1. Class sub-typing