A construct that specifies the range of values in a type. A range constraint is compatible with a subtype if each bound of the range belong (to a subtype) or if the range constraint defines a null range. The direction of a range constraint is the same as the direction of its range.