sig
type ('a, 'b, 'cmp) t
type ('a, 'b, 'cmp) tree
type 'a key
type ('a, 'cmp, 'z) options
val invariants :
('k, 'cmp, ('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t -> bool)
Core_map_intf.Accessors_generic.options
val is_empty : ('a, 'b, 'c) Core_map_intf.Accessors_generic.t -> bool
val length : ('a, 'b, 'c) Core_map_intf.Accessors_generic.t -> int
val add :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
key:'k Core_map_intf.Accessors_generic.key ->
data:'v -> ('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val add_multi :
('k, 'cmp,
('k, 'v list, 'cmp) Core_map_intf.Accessors_generic.t ->
key:'k Core_map_intf.Accessors_generic.key ->
data:'v -> ('k, 'v list, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val change :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key ->
('v option -> 'v option) ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val find :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key -> 'v option)
Core_map_intf.Accessors_generic.options
val find_exn :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key -> 'v)
Core_map_intf.Accessors_generic.options
val remove :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val mem :
('k, 'cmp,
('k, 'a, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key -> bool)
Core_map_intf.Accessors_generic.options
val iter :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t ->
f:(key:'k Core_map_intf.Accessors_generic.key -> data:'v -> unit) -> unit
val iter2 :
('k, 'cmp,
('k, 'v1, 'cmp) Core_map_intf.Accessors_generic.t ->
('k, 'v2, 'cmp) Core_map_intf.Accessors_generic.t ->
f:(key:'k Core_map_intf.Accessors_generic.key ->
data:[ `Both of 'v1 * 'v2 | `Left of 'v1 | `Right of 'v2 ] -> unit) ->
unit)
Core_map_intf.Accessors_generic.options
val map :
('k, 'v1, 'cmp) Core_map_intf.Accessors_generic.t ->
f:('v1 -> 'v2) -> ('k, 'v2, 'cmp) Core_map_intf.Accessors_generic.t
val mapi :
('k, 'v1, 'cmp) Core_map_intf.Accessors_generic.t ->
f:(key:'k Core_map_intf.Accessors_generic.key -> data:'v1 -> 'v2) ->
('k, 'v2, 'cmp) Core_map_intf.Accessors_generic.t
val fold :
('k, 'v, 'b) Core_map_intf.Accessors_generic.t ->
init:'a ->
f:(key:'k Core_map_intf.Accessors_generic.key -> data:'v -> 'a -> 'a) ->
'a
val fold_right :
('k, 'v, 'b) Core_map_intf.Accessors_generic.t ->
init:'a ->
f:(key:'k Core_map_intf.Accessors_generic.key -> data:'v -> 'a -> 'a) ->
'a
val filter :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
f:(key:'k Core_map_intf.Accessors_generic.key -> data:'v -> bool) ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val filter_map :
('k, 'cmp,
('k, 'v1, 'cmp) Core_map_intf.Accessors_generic.t ->
f:('v1 -> 'v2 option) ->
('k, 'v2, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val filter_mapi :
('k, 'cmp,
('k, 'v1, 'cmp) Core_map_intf.Accessors_generic.t ->
f:(key:'k Core_map_intf.Accessors_generic.key -> data:'v1 -> 'v2 option) ->
('k, 'v2, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val compare_direct :
('k, 'cmp,
('v -> 'v -> int) ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t -> int)
Core_map_intf.Accessors_generic.options
val equal :
('k, 'cmp,
('v -> 'v -> bool) ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t -> bool)
Core_map_intf.Accessors_generic.options
val keys :
('k, 'a, 'b) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key list
val data : ('a, 'v, 'b) Core_map_intf.Accessors_generic.t -> 'v list
val to_alist :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t ->
('k Core_map_intf.Accessors_generic.key * 'v) list
val validate :
name:('k Core_map_intf.Accessors_generic.key -> string) ->
'v Validate.check ->
('k, 'v, 'a) Core_map_intf.Accessors_generic.t Validate.check
val merge :
('k, 'cmp,
('k, 'v1, 'cmp) Core_map_intf.Accessors_generic.t ->
('k, 'v2, 'cmp) Core_map_intf.Accessors_generic.t ->
f:(key:'k Core_map_intf.Accessors_generic.key ->
[ `Both of 'v1 * 'v2 | `Left of 'v1 | `Right of 'v2 ] -> 'v3 option) ->
('k, 'v3, 'cmp) Core_map_intf.Accessors_generic.t)
Core_map_intf.Accessors_generic.options
val symmetric_diff :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
data_equal:('v -> 'v -> bool) ->
('k Core_map_intf.Accessors_generic.key *
[ `Left of 'v | `Right of 'v | `Unequal of 'v * 'v ])
list)
Core_map_intf.Accessors_generic.options
val min_elt :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t ->
('k Core_map_intf.Accessors_generic.key * 'v) option
val min_elt_exn :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key * 'v
val max_elt :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t ->
('k Core_map_intf.Accessors_generic.key * 'v) option
val max_elt_exn :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key * 'v
val for_all :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t -> f:('v -> bool) -> bool
val exists :
('k, 'v, 'a) Core_map_intf.Accessors_generic.t -> f:('v -> bool) -> bool
val fold_range_inclusive :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
min:'k Core_map_intf.Accessors_generic.key ->
max:'k Core_map_intf.Accessors_generic.key ->
init:'a ->
f:(key:'k Core_map_intf.Accessors_generic.key -> data:'v -> 'a -> 'a) ->
'a)
Core_map_intf.Accessors_generic.options
val range_to_alist :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
min:'k Core_map_intf.Accessors_generic.key ->
max:'k Core_map_intf.Accessors_generic.key ->
('k Core_map_intf.Accessors_generic.key * 'v) list)
Core_map_intf.Accessors_generic.options
val prev_key :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key ->
('k Core_map_intf.Accessors_generic.key * 'v) option)
Core_map_intf.Accessors_generic.options
val next_key :
('k, 'cmp,
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key ->
('k Core_map_intf.Accessors_generic.key * 'v) option)
Core_map_intf.Accessors_generic.options
val rank :
('k, 'cmp,
('k, 'a, 'cmp) Core_map_intf.Accessors_generic.t ->
'k Core_map_intf.Accessors_generic.key -> int option)
Core_map_intf.Accessors_generic.options
val to_tree :
('k, 'v, 'cmp) Core_map_intf.Accessors_generic.t ->
('k Core_map_intf.Accessors_generic.key, 'v, 'cmp)
Core_map_intf.Accessors_generic.tree
end