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