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 |