range package:base-prelude

The list of values in the subrange defined by a bounding pair.
The size of the subrange defined by a bounding pair.
a constant function, returning the lowest and highest values the exponent may assume
Returns True the given subscript lies in the range defined the bounding pair.