Module type Core_set.S


module type S = Core_set_intf.S

type elt 
type t 
module T: Core_set_intf.Types  with type 'a elt = elt  with type 'e t = t
include Sexpable.S
val empty : t
val is_empty : t -> bool
val mem : t -> elt -> bool
val add : t -> elt -> t
val singleton : elt -> t
val remove : t -> elt -> t
val union : t -> t -> t
val union_list : t list -> t
val inter : t -> t -> t
val diff : t -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val subset : t -> t -> bool
val iter : t -> f:(elt -> unit) -> unit
val fold : t -> init:'a -> f:(elt -> 'a -> 'a) -> 'a
val fold_until : t ->
init:'a ->
f:(elt -> 'a -> [ `Continue of 'a | `Stop of 'a ]) -> 'a
val for_all : t -> f:(elt -> bool) -> bool
val exists : t -> f:(elt -> bool) -> bool
val filter : t -> f:(elt -> bool) -> t
val partition : t ->
f:(elt -> bool) -> t * t
val cardinal : t -> int
val length : t -> int
val elements : t -> elt list
val min_elt : t -> elt option
val min_elt_exn : t -> elt
val max_elt : t -> elt option
val max_elt_exn : t -> elt
val choose : t -> elt option
val choose_exn : t -> elt
val of_list : elt list -> t
val to_list : t -> elt list
val of_array : elt array -> t
val to_array : t -> elt array
val split : elt ->
t -> t * bool * t
val group_by : t ->
equiv:(elt -> elt -> bool) ->
t list
val find : t ->
f:(elt -> bool) -> elt option
val find_exn : t -> f:(elt -> bool) -> elt
val find_index : t -> int -> elt option
val remove_index : t -> int -> t