Parameter Base.Set_intf.Check_accessors.6-M

include Container.Generic_phantom
type ('a, 'phantom) t
type 'a elt
val length : (_, _) t ‑> int
val is_empty : (_, _) t ‑> bool
val iter : ('a, _) t ‑> f:('a elt ‑> unit) ‑> unit
val fold : ('a, _) t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> 'accum) ‑> 'accum
val fold_result : ('a, _) t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> ('accum, 'e) Result.t) ‑> ('accum, 'e) Result.t
val fold_until : ('a, _) t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> ('accum, 'stop) Container_intf.Continue_or_stop.t) ‑> ('accum, 'stop) Container_intf.Finished_or_stopped_early.t
val exists : ('a, _) t ‑> f:('a elt ‑> bool) ‑> bool
val for_all : ('a, _) t ‑> f:('a elt ‑> bool) ‑> bool
val count : ('a, _) t ‑> f:('a elt ‑> bool) ‑> int
val sum : (module Commutative_group.S with type t = 'sum) ‑> ('a, _) t ‑> f:('a elt ‑> 'sum) ‑> 'sum
val find : ('a, _) t ‑> f:('a elt ‑> bool) ‑> 'a elt option
val find_map : ('a, _) t ‑> f:('a elt ‑> 'b option) ‑> 'b option
val to_list : ('a, _) t ‑> 'a elt list
val to_array : ('a, _) t ‑> 'a elt array
val min_elt : ('a, _) t ‑> cmp:('a elt ‑> 'a elt ‑> int) ‑> 'a elt option
val max_elt : ('a, _) t ‑> cmp:('a elt ‑> 'a elt ‑> int) ‑> 'a elt option
type ('a, 'cmp) tree
type ('a, 'cmp, 'z) options

The options type is used to make Accessors_generic flexible as to whether a comparator is required to be passed to certain functions.

type 'cmp cmp
val invariants : ('a, 'cmp, ('a, 'cmp) t ‑> bool) options
val mem : ('a, 'cmp, ('a, 'cmp) t ‑> 'a elt ‑> bool) options

override Container's mem

val add : ('a, 'cmp, ('a, 'cmp) t ‑> 'a elt ‑> ('a, 'cmp) t) options
val remove : ('a, 'cmp, ('a, 'cmp) t ‑> 'a elt ‑> ('a, 'cmp) t) options
val union : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> ('a, 'cmp) t) options
val inter : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> ('a, 'cmp) t) options
val diff : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> ('a, 'cmp) t) options
val symmetric_diff : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> ('a elt, 'a elt) Either.t Sequence.t) options
val compare_direct : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> int) options
val equal : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> bool) options
val is_subset : ('a, 'cmp, ('a, 'cmp) t ‑> of_:('a, 'cmp) t ‑> bool) options
val subset : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> bool) options
val fold_until : ('a, _) t ‑> init:'b ‑> f:('b ‑> 'a elt ‑> ('b, 'stop) Continue_or_stop.t) ‑> ('b, 'stop) Finished_or_stopped_early.t
val fold_right : ('a, _) t ‑> init:'b ‑> f:('a elt ‑> 'b ‑> 'b) ‑> 'b
val iter2 : ('a, 'cmp, ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> f:([ `Left of 'a elt | `Right of 'a elt | `Both of 'a elt * 'a elt ] ‑> unit) ‑> unit) options
val filter : ('a, 'cmp, ('a, 'cmp) t ‑> f:('a elt ‑> bool) ‑> ('a, 'cmp) t) options
val partition_tf : ('a, 'cmp, ('a, 'cmp) t ‑> f:('a elt ‑> bool) ‑> ('a, 'cmp) t * ('a, 'cmp) t) options
val elements : ('a, _) t ‑> 'a elt list
val min_elt : ('a, _) t ‑> 'a elt option
val min_elt_exn : ('a, _) t ‑> 'a elt
val max_elt : ('a, _) t ‑> 'a elt option
val max_elt_exn : ('a, _) t ‑> 'a elt
val choose : ('a, _) t ‑> 'a elt option
val choose_exn : ('a, _) t ‑> 'a elt
val split : ('a, 'cmp, ('a, 'cmp) t ‑> 'a elt ‑> ('a, 'cmp) t * 'a elt option * ('a, 'cmp) t) options
val group_by : ('a, 'cmp, ('a, 'cmp) t ‑> equiv:('a elt ‑> 'a elt ‑> bool) ‑> ('a, 'cmp) t list) options
val find_exn : ('a, _) t ‑> f:('a elt ‑> bool) ‑> 'a elt
val find_index : ('a, _) t ‑> int ‑> 'a elt option
val nth : ('a, _) t ‑> int ‑> 'a elt option
val remove_index : ('a, 'cmp, ('a, 'cmp) t ‑> int ‑> ('a, 'cmp) t) options
val to_tree : ('a, 'cmp) t ‑> ('a elt, 'cmp) tree
val to_sequence : ('a, 'cmp, ?order:[ `Increasing | `Decreasing ] ‑> ?greater_or_equal_to:'a elt ‑> ?less_or_equal_to:'a elt ‑> ('a, 'cmp) t ‑> 'a elt Sequence.t) options
val merge_to_sequence : ('a, 'cmp, ?order:[ `Increasing | `Decreasing ] ‑> ?greater_or_equal_to:'a elt ‑> ?less_or_equal_to:'a elt ‑> ('a, 'cmp) t ‑> ('a, 'cmp) t ‑> ('a elt, 'a elt) Merge_to_sequence_element.t Sequence.t) options