@type problem_tuple() ::
  {t(), :not_a_tuple, %{}, any()}
  | {t(), :different_size, %{expected_size: integer()}, tuple()}
  | {t(), :element_error,
     %{
       problem: TypeCheck.TypeError.Formatter.problem_tuple(),
       index: integer()
     }, tuple()}

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

Full definition:

problem_tuple :: {t(), :not_a_tuple, %{}, any()}
| {t(), :different_size, %{expected_size: integer()}, tuple()}
| {t(), :element_error,
   %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple()), index: integer()}, tuple()}

@type t() :: %TypeCheck.Builtin.FixedTuple{element_types: [TypeCheck.Type.t()]}

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

Full definition:

t :: %TypeCheck.Builtin.FixedTuple{element_types: list(TypeCheck.Type.t())}