val is_empty : (_, _, _) t ‑> bool
val length : (_, _, _) t ‑> int
val add : ('k, 'cmp, ('k, 'v, 'cmp) t ‑> key:'k key ‑> data:'v ‑> ('k, 'v, 'cmp) t Or_duplicate.t) options
val iter : (_, 'v, _) t ‑> f:('v ‑> unit) ‑> unit
val data : (_, 'v, _) t ‑> 'v list
val validate : name:('k key ‑> string) ‑> 'v Base.Validate.check ‑> ('k, 'v, _) t Base.Validate.check
val symmetric_diff : ('k, 'cmp, ('k, 'v, 'cmp) t ‑> ('k, 'v, 'cmp) t ‑> data_equal:('v ‑> 'v ‑> bool) ‑> ('k key, 'v) Symmetric_diff_element.t Base.Sequence.t) options
val for_all : ('k, 'v, _) t ‑> f:('v ‑> bool) ‑> bool
val exists : ('k, 'v, _) t ‑> f:('v ‑> bool) ‑> bool
val count : ('k, 'v, _) t ‑> f:('v ‑> bool) ‑> int
val subrange : ('k, 'cmp, ('k, 'v, 'cmp) t ‑> lower_bound:'k key Base.Maybe_bound.t ‑> upper_bound:'k key Base.Maybe_bound.t ‑> ('k, 'v, 'cmp) t) options