Up — package core_kernel Parameter Core_kernel.Set_intf.Check_accessors2_with_comparator.1-M
include Set.Accessors2_with_comparator
val length : ('a , 'b ) t ‑> int
val is_empty : ('a , 'b ) t ‑> bool
val iter : ('a , 'b ) t ‑> f:('a ‑> unit) ‑> unit
val fold : ('a , 'b ) t ‑> init:'accum ‑> f:('accum ‑> 'a ‑> 'accum ) ‑> 'accum
val exists : ('a , 'b ) t ‑> f:('a ‑> bool) ‑> bool
val for_all : ('a , 'b ) t ‑> f:('a ‑> bool) ‑> bool
val count : ('a , 'b ) t ‑> f:('a ‑> bool) ‑> int
val find : ('a , 'b ) t ‑> f:('a ‑> bool) ‑> 'a option
val find_map : ('a , 'c ) t ‑> f:('a ‑> 'b option) ‑> 'b option
val to_list : ('a , 'b ) t ‑> 'a list
val to_array : ('a , 'b ) t ‑> 'a array
val compare_direct : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> ('a , 'cmp ) t ‑> int
val is_subset : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> of_:('a , 'cmp ) t ‑> bool
Deprecated [since 2016-09] Replace [Set.subset t1 t2] with [Set.is_subset t1 ~of_:t2]module Named : sig ... end
val fold_right : ('a , 'b ) t ‑> init:'accum ‑> f:('a ‑> 'accum ‑> 'accum ) ‑> 'accum
val iter2 : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> ('a , 'cmp ) t ‑> f:([ `Both of 'a * 'a | `Left of 'a | `Right of 'a ] ‑> unit) ‑> unit
val filter : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> f:('a ‑> bool) ‑> ('a , 'cmp ) t
val partition_tf : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> f:('a ‑> bool) ‑> ('a , 'cmp ) t * ('a , 'cmp ) t
val elements : ('a , 'b ) t ‑> 'a list
val min_elt : ('a , 'b ) t ‑> 'a option
val min_elt_exn : ('a , 'b ) t ‑> 'a
val max_elt : ('a , 'b ) t ‑> 'a option
val max_elt_exn : ('a , 'b ) t ‑> 'a
val choose : ('a , 'b ) t ‑> 'a option
val choose_exn : ('a , 'b ) t ‑> 'a
val split : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> 'a ‑> ('a , 'cmp ) t * 'a option * ('a , 'cmp ) t
val group_by : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> equiv:('a ‑> 'a ‑> bool) ‑> ('a , 'cmp ) t list
val find_exn : ('a , 'b ) t ‑> f:('a ‑> bool) ‑> 'a
val find_index : ('a , 'b ) t ‑> int ‑> 'a option
Deprecated [since 2016-10] Use [nth]val nth : ('a , 'b ) t ‑> int ‑> 'a option
val remove_index : comparator:('a , 'cmp ) Base.Comparator.t ‑> ('a , 'cmp ) t ‑> int ‑> ('a , 'cmp ) t
val to_tree : ('a , 'cmp ) t ‑> ('a , 'cmp ) tree
val to_sequence : comparator:('a , 'cmp ) Base.Comparator.t ‑> ?order:[ `Decreasing | `Increasing ] ‑> ?greater_or_equal_to:'a ‑> ?less_or_equal_to:'a ‑> ('a , 'cmp ) t ‑> 'a Base.Sequence.t
val to_map : comparator:('a , 'cmp ) Comparator.t ‑> ('a , 'cmp ) t ‑> f:('a ‑> 'b ) ‑> ('a , 'b , 'cmp ) Map.t