A half-open range of nonnegative integers. begin is inclusive, end is exclusive.
interface range
subtypes deeply immutable list[nonnegative]
subtypes equality comparable
Start of the range.
nonnegative begin
End of the range; greater or equal than start.
nonnegative end