In Metamodel::DefiniteHOW§

See primary documentation in context for 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.