type ('a, 'cmp) settype ttype treetype elttype comparator_witness
val empty : tval singleton : elt -> tval union_list : t list -> tval of_list : elt list -> tval of_array : elt array -> tval of_sorted_array : elt array -> t Base.Or_error.tval of_sorted_array_unchecked : elt array -> tval of_increasing_iterator_unchecked : len:int -> f:(int -> elt) -> tval stable_dedup_list : elt list -> elt listval map : ('a, _) set -> f:('a -> elt) -> tval filter_map : ('a, _) set -> f:('a -> elt option) -> tval of_tree : tree -> t