functor (T : T.T2) ->
functor (Tree : T.T2) ->
functor (Elt : T.T1) ->
functor (Options : T.T3) ->
functor
(M : sig
type ('a, 'cmp) set
val empty : ('a, 'cmp, ('a, 'cmp) T.t) Options.t
val singleton :
('a, 'cmp, 'a Elt.t -> ('a, 'cmp) T.t) Options.t
val union_list :
('a, 'cmp, ('a, 'cmp) T.t list -> ('a, 'cmp) T.t)
Options.t
val of_list :
('a, 'cmp, 'a Elt.t list -> ('a, 'cmp) T.t) Options.t
val of_array :
('a, 'cmp, 'a Elt.t array -> ('a, 'cmp) T.t) Options.t
val of_sorted_array :
('a, 'cmp, 'a Elt.t array -> ('a, 'cmp) T.t Or_error.t)
Options.t
val of_sorted_array_unchecked :
('a, 'cmp, 'a Elt.t array -> ('a, 'cmp) T.t) Options.t
val stable_dedup_list :
('a, 'b, 'a Elt.t list -> 'a Elt.t list) Options.t
val map :
('b, 'cmp,
('a, 'c) set -> f:('a -> 'b Elt.t) -> ('b, 'cmp) T.t)
Options.t
val filter_map :
('b, 'cmp,
('a, 'c) set ->
f:('a -> 'b Elt.t option) -> ('b, 'cmp) T.t)
Options.t
val of_tree :
('a, 'cmp, ('a Elt.t, 'cmp) Tree.t -> ('a, 'cmp) T.t)
Options.t
end) ->
sig end