| | | Subclasses |
Subclass types match classes and their subclasses. They are quite useful in situations that involve class arguments that need to be further constrained.
| <subclass> | (<type>) | C |
| t< | (x|<class> => <subclass>) | G |
| returns subclass type constrained to subclasses of x. | ||
| type-class | (x|<subclass> => <class>) | G |
| object that subclass type matches. | ||
| | | Subclasses |