@type problem_tuple() ::
  {t(), :not_a_list, %{}, any()}
  | {t(), :element_error,
     %{
       problem: TypeCheck.TypeError.Formatter.problem_tuple(),
       index: non_neg_integer()
     }, any()}
  | {t(), :terminator_error,
     %{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(), :not_a_list, %{}, any()}
| {t(), :element_error,
   %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple()), index: non_neg_integer()},
   any()}
| {t(), :terminator_error, %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple())}, any()}

@type t() :: t(TypeCheck.Type.t(), TypeCheck.Type.t())

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

Full definition:

t() :: t(TypeCheck.Type.t(), TypeCheck.Type.t())

@type t(element_type, terminator_type) :: %TypeCheck.Builtin.MaybeImproperList{
  element_type: element_type,
  terminator_type: terminator_type
}

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

Full definition:

t(element_type, terminator_type) :: %TypeCheck.Builtin.MaybeImproperList{element_type: element_type, terminator_type: terminator_type}