isSubtypeOf

Checks if @type is a subtype of @supertype.

This function returns true if @type is a subtype of @supertype. All types are considered to be subtypes of themselves. Aside from that, only indefinite types can have subtypes.

Parameters