Documentation for method accepts_type assembled from the following pages:

Class: Metamodel::DefiniteHOW §

From Metamodel::DefiniteHOW

(Metamodel::DefiniteHOW) method accepts_type §

method accepts_type($definite_type, $checkee)

Performs a type-check of $checkee against a definite type. This will check if $checkee is of its base type and matches its definiteness, returning True if they match or False otherwise. This metamethod can get called when the definite type is on the right-hand side of a smartmatch, for instance.