sig
type elt
type t
val print :
?first:(unit, Format.formatter, unit) Pervasives.format ->
?sep:(unit, Format.formatter, unit) Pervasives.format ->
?last:(unit, Format.formatter, unit) Pervasives.format ->
(Format.formatter -> SetList.S.elt -> unit) ->
Format.formatter -> SetList.S.t -> unit
val empty : SetList.S.t
val is_empty : SetList.S.t -> bool
val mem : SetList.S.elt -> SetList.S.t -> bool
val of_list : SetList.S.elt list -> SetList.S.t
val to_list : SetList.S.t -> SetList.S.elt list
val singleton : SetList.S.elt -> SetList.S.t
val add : SetList.S.elt -> SetList.S.t -> SetList.S.t
val remove : SetList.S.elt -> SetList.S.t -> SetList.S.t
val union : SetList.S.t -> SetList.S.t -> SetList.S.t
val inter : SetList.S.t -> SetList.S.t -> SetList.S.t
val diff : SetList.S.t -> SetList.S.t -> SetList.S.t
val compare : SetList.S.t -> SetList.S.t -> int
val equal : SetList.S.t -> SetList.S.t -> bool
val subset : SetList.S.t -> SetList.S.t -> bool
val iter : (SetList.S.elt -> unit) -> SetList.S.t -> unit
val fold : (SetList.S.elt -> 'a -> 'a) -> SetList.S.t -> 'a -> 'a
val fold_right : (SetList.S.elt -> 'a -> 'a) -> SetList.S.t -> 'a -> 'a
val fold_left : ('a -> SetList.S.elt -> 'a) -> 'a -> SetList.S.t -> 'a
val cardinal : SetList.S.t -> int
val elements : SetList.S.t -> SetList.S.elt list
val min_elt : SetList.S.t -> SetList.S.elt
val max_elt : SetList.S.t -> SetList.S.elt
val choose : SetList.S.t -> SetList.S.elt
val filter : (SetList.S.elt -> bool) -> SetList.S.t -> SetList.S.t
val partition :
(SetList.S.elt -> bool) -> SetList.S.t -> SetList.S.t * SetList.S.t
val exists : (SetList.S.elt -> bool) -> SetList.S.t -> bool
val for_all : (SetList.S.elt -> bool) -> SetList.S.t -> bool
end