The compound type specifier form of the numeric type specifiers in Figure 12–10 permit the user to specify an interval on the real number line which describe a subtype of the type which would be described by the corresponding atomic type specifier. A subtype of some type T is specified using an ordered pair of objects called interval designators for type T.
The first of the two interval designators for type T can be any of the following:
This denotes a lower inclusive bound of N. That is, elements of the subtype of T will be greater than or equal to N.
a number M of type T This denotes a lower exclusive bound of M. That is, elements of the subtype of T will be greater than M.
This denotes the absence of a lower bound on the interval.
The second of the two interval designators for type T can be any of the following:
This denotes an upper inclusive bound of N. That is, elements of the subtype of T will be less than or equal to N.
a number M of type T This denotes an upper exclusive bound of M. That is, elements of the subtype of T will be less than M.
This denotes the absence of an upper bound on the interval.