t() :: 0..134_217_727
from_key(atom(), any()) :: t()
max() :: t()
min() :: t()
upper_bound() :: pos_integer()
valid?(any()) :: boolean()