INTERVAL_SET.Interval
val make : elt -> elt -> interval
make first last construct an interval describing all the elements from first to last inclusive.
make first last
first
last
val x : interval -> elt
the starting element of the interval
val y : interval -> elt
the ending element of the interval