@opaque matchable()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

matchable() (opaque type)

@opaque t()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

t() (opaque type)