Documentation for method
type_check assembled from the following types:
method type_check(, )
Performs a type-check of a definite type against
$checkee. This will check if
$checkee is of its base type, returning
True if they match or
False otherwise. This metamethod can get called when a definite type is on the left-hand side of a smartmatch, for instance.