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