Parameter Core_kernel__.Set_intf.Check_creators.6-M

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'cmptoptions
val singleton : ('a'cmp'a elt ‑> ('a'cmptoptions
val union_list : ('a'cmp, ('a'cmpt list ‑> ('a'cmptoptions
val of_list : ('a'cmp'a elt list ‑> ('a'cmptoptions
val of_array : ('a'cmp'a elt array ‑> ('a'cmptoptions
val of_sorted_array : ('a'cmp'a elt array ‑> ('a'cmpt Base.Or_error.toptions
val of_sorted_array_unchecked : ('a'cmp'a elt array ‑> ('a'cmptoptions
val of_increasing_iterator_unchecked : ('a'cmp, len:int ‑> f:(int ‑> 'a elt) ‑> ('a'cmptoptions
val stable_dedup_list : ('a'b'a elt list ‑> 'a elt list) options
val map : ('b'cmp, ('a'cset ‑> f:('a ‑> 'b elt) ‑> ('b'cmptoptions
val filter_map : ('b'cmp, ('a'cset ‑> f:('a ‑> 'b elt option) ‑> ('b'cmptoptions
val of_tree : ('a'cmp, ('a elt'cmptree ‑> ('a'cmptoptions
val of_hash_set : ('a'cmp'a elt Core_kernel.Hash_set.t ‑> ('a'cmptoptions
val of_hashtbl_keys : ('a'cmp, ('a elt_Core_kernel.Hashtbl.t ‑> ('a'cmptoptions
val of_map_keys : ('a elt_'cmp cmpCore_kernel.Map.t ‑> ('a'cmpt

Never requires a comparator because it can get one from the input Map.t.

val gen : ('a'cmp'a elt Core_kernel.Quickcheck.Generator.t ‑> ('a'cmpt Core_kernel.Quickcheck.Generator.toptions