Documentation for method type_check assembled from the following types:

class Metamodel::DefiniteHOW

From Metamodel::DefiniteHOW

(Metamodel::DefiniteHOW) method type_check

method type_check($definite_type, $checkee)

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.