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