Interval

data Interval

mkInterval

intervalToInfinityFrom

integersInInterval

data DisjointIntervalSet

emptyIntervalSet

extendIntervalSet

deleteFromIntervalSet

subIntervals