Interval
data
Interval
mkInterval
intervalToInfinityFrom
integersInInterval
data
DisjointIntervalSet
emptyIntervalSet
extendIntervalSet
deleteFromIntervalSet
subIntervals