The UniversalSegment domain generalizes Segment by allowing segments without a ``hi'' end point.
Values of type Segment are automatically converted to type UniversalSegment when appropriate.
The operation hasHihasHiUniversalSegment is used to test whether a segment has a hi end point.
All operations available on type Segment apply to UniversalSegment, with the proviso that expansions produce streams rather than lists. This is to accommodate infinite expansions.
For more information on related topics, see SegmentXmpPage , SegmentBindingXmpPage , ListXmpPage , and StreamXmpPage .