@type problem_tuple() ::
  {t(), :not_an_integer, %{}, any()} | {t(), :not_in_range, %{}, integer()}

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

Full definition:

problem_tuple :: {t(), :not_an_integer, %{}, any()} | {t(), :not_in_range, %{}, integer()}

@type t() :: %TypeCheck.Builtin.Range{
  range: %Range{first: integer(), last: integer(), step: 1}
}

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

Full definition:

t :: %TypeCheck.Builtin.Range{range: %Range{first: integer(), last: integer(), step: 1}}