inRange package:base-prelude

Returns True the given subscript lies in the range defined the bounding pair.