@type limit() :: integer()

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

Full definition:

limit() :: integer()

@type step() :: pos_integer() | neg_integer()

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

Full definition:

step() :: pos_integer() | neg_integer()

@type t() :: %Range{first: limit(), last: limit(), step: step()}

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

Full definition:

t() :: %Range{first: limit(), last: limit(), step: step()}

@type t(first, last) :: %Range{first: first, last: last, step: step()}

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

Full definition:

t(first, last) :: %Range{first: first, last: last, step: step()}