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.