sig
  type 'a t
  type 'a bound
  type 'a interval
  val create :
    ('a Interval_intf.Gen_set.bound * 'a Interval_intf.Gen_set.bound) list ->
    'a Interval_intf.Gen_set.t
  val create_from_intervals :
    'a Interval_intf.Gen_set.interval list -> 'a Interval_intf.Gen_set.t
  val contains :
    'a Interval_intf.Gen_set.t -> 'a Interval_intf.Gen_set.bound -> bool
  val contains_set :
    container:'a Interval_intf.Gen_set.t ->
    contained:'a Interval_intf.Gen_set.t -> bool
  val ubound_exn :
    'a Interval_intf.Gen_set.t -> 'a Interval_intf.Gen_set.bound
  val lbound_exn :
    'a Interval_intf.Gen_set.t -> 'a Interval_intf.Gen_set.bound
  val ubound :
    'a Interval_intf.Gen_set.t -> 'a Interval_intf.Gen_set.bound option
  val lbound :
    'a Interval_intf.Gen_set.t -> 'a Interval_intf.Gen_set.bound option
end