@type port_number() :: %Range{first: 0, last: 65535, step: 1}

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

Full definition:

port_number() :: %{__struct__: Range, first: 0, last: 65535, step: 1}