(This type is managed by TypeCheck, which allows checking values against the type at runtime.)
TypeCheck
matchable()
Full definition:
matchable() (opaque type)
t()
t() (opaque type)