@type precision_range() :: %Range{first: 0, last: 15, step: 1}

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

Full definition:

precision_range() :: %{__struct__: Range, first: 0, last: 15, step: 1}