sig
type 'a t
type 'a bound
val create :
'a Interval_intf.Gen.bound ->
'a Interval_intf.Gen.bound -> 'a Interval_intf.Gen.t
val empty : 'a Interval_intf.Gen.t
val intersect :
'a Interval_intf.Gen.t ->
'a Interval_intf.Gen.t -> 'a Interval_intf.Gen.t
val is_empty : 'a Interval_intf.Gen.t -> bool
val is_empty_or_singleton : 'a Interval_intf.Gen.t -> bool
val bounds :
'a Interval_intf.Gen.t ->
('a Interval_intf.Gen.bound * 'a Interval_intf.Gen.bound) option
val lbound : 'a Interval_intf.Gen.t -> 'a Interval_intf.Gen.bound option
val ubound : 'a Interval_intf.Gen.t -> 'a Interval_intf.Gen.bound option
val bounds_exn :
'a Interval_intf.Gen.t ->
'a Interval_intf.Gen.bound * 'a Interval_intf.Gen.bound
val lbound_exn : 'a Interval_intf.Gen.t -> 'a Interval_intf.Gen.bound
val ubound_exn : 'a Interval_intf.Gen.t -> 'a Interval_intf.Gen.bound
val contains : 'a Interval_intf.Gen.t -> 'a Interval_intf.Gen.bound -> bool
val compare_value :
'a Interval_intf.Gen.t ->
'a Interval_intf.Gen.bound ->
[ `Above | `Below | `Interval_is_empty | `Within ]
val bound :
'a Interval_intf.Gen.t ->
'a Interval_intf.Gen.bound -> 'a Interval_intf.Gen.bound option
val is_superset :
'a Interval_intf.Gen.t -> of_:'a Interval_intf.Gen.t -> bool
val is_subset :
'a Interval_intf.Gen.t -> of_:'a Interval_intf.Gen.t -> bool
val map :
f:('a Interval_intf.Gen.bound -> 'b Interval_intf.Gen.bound) ->
'a Interval_intf.Gen.t -> 'b Interval_intf.Gen.t
val are_disjoint : 'a Interval_intf.Gen.t list -> bool
val are_disjoint_as_open_intervals : 'a Interval_intf.Gen.t list -> bool
val list_intersect :
'a Interval_intf.Gen.t list ->
'a Interval_intf.Gen.t list -> 'a Interval_intf.Gen.t list
val half_open_intervals_are_a_partition :
'a Interval_intf.Gen.t list -> bool
end