@type t() :: t(term())

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

Full definition:

t() :: t(term())

@opaque t(value)

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

Full definition:

t(value) (opaque type)

@type value() :: term()

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

Full definition:

value() :: term()