Module type Set_intf.Creators_generic
include Set.Creators_generic
type ('a, 'cmp) t
type ('a, 'cmp) set
type ('a, 'cmp) tree
type 'a elt
type ('a, 'cmp, 'z) options
type 'cmp cmp
val empty : ('a, 'cmp, ('a, 'cmp) t) options
val singleton : ('a, 'cmp, 'a elt -> ('a, 'cmp) t) options
val union_list : ('a, 'cmp, ('a, 'cmp) t list -> ('a, 'cmp) t) options
val of_list : ('a, 'cmp, 'a elt list -> ('a, 'cmp) t) options
val of_array : ('a, 'cmp, 'a elt array -> ('a, 'cmp) t) options
val of_sorted_array : ('a, 'cmp, 'a elt array -> ('a, 'cmp) t Base.Or_error.t) options
val of_sorted_array_unchecked : ('a, 'cmp, 'a elt array -> ('a, 'cmp) t) options
val of_increasing_iterator_unchecked : ('a, 'cmp, len:int -> f:(int -> 'a elt) -> ('a, 'cmp) t) options
val stable_dedup_list : ('a, 'b, 'a elt list -> 'a elt list) options
val map : ('b, 'cmp, ('a, 'c) set -> f:('a -> 'b elt) -> ('b, 'cmp) t) options
val filter_map : ('b, 'cmp, ('a, 'c) set -> f:('a -> 'b elt option) -> ('b, 'cmp) t) options
val of_tree : ('a, 'cmp, ('a elt, 'cmp) tree -> ('a, 'cmp) t) options
val of_hash_set : ('a, 'cmp, 'a elt Core_kernel.Hash_set.t -> ('a, 'cmp) t) options
val of_hashtbl_keys : ('a, 'cmp, ('a elt, _) Core_kernel.Hashtbl.t -> ('a, 'cmp) t) options
val of_map_keys : ('a elt, _, 'cmp cmp) Base.Map.t -> ('a, 'cmp) t
Never requires a comparator because it can get one from the input
Map.t
.
val quickcheck_generator : ('a, 'cmp, 'a elt Core_kernel.Quickcheck.Generator.t -> ('a, 'cmp) t Core_kernel.Quickcheck.Generator.t) options