sig
type ('a, 'cmp) t
type ('a, 'cmp) set
type ('a, 'cmp) tree
type 'a elt
type ('a, 'cmp, 'z) options
val empty :
('a, 'cmp, ('a, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val singleton :
('a, 'cmp,
'a Core_set_intf.Creators_generic.elt ->
('a, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val union_list :
('a, 'cmp,
('a, 'cmp) Core_set_intf.Creators_generic.t list ->
('a, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val of_list :
('a, 'cmp,
'a Core_set_intf.Creators_generic.elt list ->
('a, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val of_array :
('a, 'cmp,
'a Core_set_intf.Creators_generic.elt array ->
('a, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val of_sorted_array :
('a, 'cmp,
'a Core_set_intf.Creators_generic.elt array ->
('a, 'cmp) Core_set_intf.Creators_generic.t Or_error.t)
Core_set_intf.Creators_generic.options
val of_sorted_array_unchecked :
('a, 'cmp,
'a Core_set_intf.Creators_generic.elt array ->
('a, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val stable_dedup_list :
('a, 'b,
'a Core_set_intf.Creators_generic.elt list ->
'a Core_set_intf.Creators_generic.elt list)
Core_set_intf.Creators_generic.options
val map :
('b, 'cmp,
('a, 'c) Core_set_intf.Creators_generic.set ->
f:('a -> 'b Core_set_intf.Creators_generic.elt) ->
('b, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val filter_map :
('b, 'cmp,
('a, 'c) Core_set_intf.Creators_generic.set ->
f:('a -> 'b Core_set_intf.Creators_generic.elt option) ->
('b, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
val of_tree :
('a, 'cmp,
('a Core_set_intf.Creators_generic.elt, 'cmp)
Core_set_intf.Creators_generic.tree ->
('a, 'cmp) Core_set_intf.Creators_generic.t)
Core_set_intf.Creators_generic.options
end