3.1. Class sub-typing
Prev
Chapter 3. KerMeta sub-typing rules
Next
3.1. Class sub-typing
Figure 3.1.
A class type C1can be a sub-type of some Class TypeVariable ProductType or SelfType