@type t() :: Inspect.t()

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

Full definition:

t() :: impl(Inspect)