Checks if this is a subtype of supertype.
This function returns true if this is a subtype of
supertype. All types are considered to be subtypes of themselves. Aside from that, only indefinite types can have subtypes.
| this | |
| supertype |
|
true if this is a subtype of Since 2.24 |