Module Interval_union

module Interval : sig ... end
type t = Interval.t list
val equal : t -> t -> Ppx_deriving_runtime.bool
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val empty : t
val of_interval : Interval.t -> t
val of_intervals_exn : Interval.t list -> t
val disjoint_union_exn : t -> t -> t
val disjoint : t -> t -> bool
val to_interval : t -> Interval.t Core.Or_error.t
val right_endpoint : t -> int option
val left_endpoint : t -> int option
val canonicalize : t -> t
val invariant : t -> unit
val gen : t Core.Quickcheck.Generator.t
val gen_from : ?min_size:int -> int -> t Core.Quickcheck.Generator.t
val gen_disjoint_pair : (t * t) Core.Quickcheck.Generator.t