@type problem_tuple() ::
  {t(), :named_type, %{problem: TypeCheck.TypeError.Formatter.problem_tuple()},
   any()}

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

Full definition:

problem_tuple :: {t(), :named_type, %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple())}, any()}

@type t() :: %TypeCheck.Builtin.NamedType{
  local: boolean(),
  name: atom(),
  type: TypeCheck.Type.t(),
  type_kind: :type | :typep | :opaque
}

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

Full definition:

t :: %TypeCheck.Builtin.NamedType{
  name: atom(),
  type: TypeCheck.Type.t(),
  local: boolean(),
  type_kind: :type | :typep | :opaque
}