Module Seti

type seti = elt list
and elt =
  1. | Exact of int
  2. | Interv of int * int
val invariant : elt list -> unit
val string_of_seti : elt list -> string
val empty : 'a list
val pack : int -> int -> elt list -> elt list
val add2 : int -> seti -> seti
val add : int -> seti -> seti
val tolist2 : elt list -> int list
val tolist : elt list -> int list
val fromlist : int list -> seti
val intervise : elt -> elt
val exactize : elt -> elt
val exactize2 : int -> int -> elt
val remove : int -> seti -> seti
val mem : int -> elt list -> bool
val iter : (int -> unit) -> elt list -> unit
val is_empty : 'a list -> bool
val choose : elt list -> int
val elements : elt list -> int list
val cardinal : elt list -> int
val inter : elt list -> elt list -> elt list
val union : elt list -> elt list -> elt list
val diff : elt list -> elt list -> elt list
val debug : elt list -> string
val patch1 : elt list -> elt list
val patch2 : elt list -> elt list
val patch3 : elt list -> elt list