is_subtype_of
Description:
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.
Parameters:
| this | |
| supertype |
Returns:
|
true if this is a subtype of Since 2.24 |