module Use_closed_interval: sig .. end
Provides operations involving closed interval whose endpoints are integer
(closed_interval values).
val width : Closed_interval.closed_interval -> int
Returns the width of an interval.
val is_member : int * Closed_interval.closed_interval -> bool
Tests whether an integer is member of an interval.
val cons_closed_1 : int * int -> Closed_interval.closed_interval
Returns the interval whose lower bound is z and width is w.
val are_disjoint : Closed_interval.closed_interval * Closed_interval.closed_interval -> bool
Tests whether two intervals are disjoint.
val intersection : Closed_interval.closed_interval * Closed_interval.closed_interval ->
Closed_interval.closed_interval
Returns the intersection of two non-disjoint intervals.
- Error if the intervals are disjoint.
val is_subset : Closed_interval.closed_interval * Closed_interval.closed_interval -> bool
Tests whether i1 = i2 or i1 is a proper subset of i2 given the pair (i1, i2) of intervals.
val envelope : Closed_interval.closed_interval * Closed_interval.closed_interval ->
Closed_interval.closed_interval
Returns the envelope of two intervals (the least interval that is a superset of both).