is_subtype_of

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	type to check
supertype	type of potential supertype

Returns:

true if this is a subtype of supertype Since 2.24