type nonrec ('a, 'b) t = ('a, 'b) t
include Bin_prot.Binable.S2 with type ('a, 'b) t := ('a, 'b) t
type ('a, 'b) t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.tval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writerval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.readerval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t
include Core_kernel.Hashtbl_intf.Hashtbl.S_poly with type ('a, 'b) t := ('a, 'b) t
val t_of_sexp : (Base.Sexp.t -> 'a) -> (Base.Sexp.t -> 'b) -> Base.Sexp.t -> ('a, 'b) tval sexp_of_t : ('a -> Base.Sexp.t) -> ('b -> Base.Sexp.t) -> ('a, 'b) t -> Base.Sexp.tval hashable : 'a Base.Hashable.tval invariant : 'a Base__.Invariant_intf.inv -> 'b Base__.Invariant_intf.inv -> ('a, 'b) t Base__.Invariant_intf.inv
type 'a key = 'a
val create : ('a key, 'b, unit -> ('a, 'b) t) Base__.Hashtbl_intf.create_options_without_first_class_moduleval of_alist : ('a key, 'b, ('a key * 'b) list -> [ `Duplicate_key of 'a key | `Ok of ('a, 'b) t ]) Base__.Hashtbl_intf.create_options_without_first_class_moduleval of_alist_report_all_dups : ('a key, 'b, ('a key * 'b) list -> [ `Duplicate_keys of 'a key list | `Ok of ('a, 'b) t ]) Base__.Hashtbl_intf.create_options_without_first_class_moduleval of_alist_or_error : ('a key, 'b, ('a key * 'b) list -> ('a, 'b) t Base.Or_error.t) Base__.Hashtbl_intf.create_options_without_first_class_moduleval of_alist_exn : ('a key, 'b, ('a key * 'b) list -> ('a, 'b) t) Base__.Hashtbl_intf.create_options_without_first_class_moduleval of_alist_multi : ('a key, 'b list, ('a key * 'b) list -> ('a, 'b list) t) Base__.Hashtbl_intf.create_options_without_first_class_moduleval create_mapped : ('a key, 'b, get_key:('r -> 'a key) -> get_data:('r -> 'b) -> 'r list -> [ `Duplicate_keys of 'a key list | `Ok of ('a, 'b) t ]) Base__.Hashtbl_intf.create_options_without_first_class_moduleval create_with_key : ('a key, 'r, get_key:('r -> 'a key) -> 'r list -> [ `Duplicate_keys of 'a key list | `Ok of ('a, 'r) t ]) Base__.Hashtbl_intf.create_options_without_first_class_moduleval create_with_key_or_error : ('a key, 'r, get_key:('r -> 'a key) -> 'r list -> ('a, 'r) t Base.Or_error.t) Base__.Hashtbl_intf.create_options_without_first_class_moduleval create_with_key_exn : ('a key, 'r, get_key:('r -> 'a key) -> 'r list -> ('a, 'r) t) Base__.Hashtbl_intf.create_options_without_first_class_moduleval group : ('a key, 'b, get_key:('r -> 'a key) -> get_data:('r -> 'b) -> combine:('b -> 'b -> 'b) -> 'r list -> ('a, 'b) t) Base__.Hashtbl_intf.create_options_without_first_class_moduleval sexp_of_key : ('a, 'b) t -> 'a key -> Base.Sexp.tval clear : ('a, 'b) t -> unitval copy : ('a, 'b) t -> ('a, 'b) tval fold : ('a, 'b) t -> init:'c -> f:(key:'a key -> data:'b -> 'c -> 'c) -> 'cval iter_keys : ('a, 'b) t -> f:('a key -> unit) -> unitval iter : ('a, 'b) t -> f:('b -> unit) -> unitval iteri : ('a, 'b) t -> f:(key:'a key -> data:'b -> unit) -> unitval existsi : ('a, 'b) t -> f:(key:'a key -> data:'b -> bool) -> boolval exists : ('a, 'b) t -> f:('b -> bool) -> boolval for_alli : ('a, 'b) t -> f:(key:'a key -> data:'b -> bool) -> boolval for_all : ('a, 'b) t -> f:('b -> bool) -> boolval counti : ('a, 'b) t -> f:(key:'a key -> data:'b -> bool) -> intval count : ('a, 'b) t -> f:('b -> bool) -> intval length : ('a, 'b) t -> intval is_empty : ('a, 'b) t -> boolval mem : ('a, 'b) t -> 'a key -> boolval remove : ('a, 'b) t -> 'a key -> unitval set : ('a, 'b) t -> key:'a key -> data:'b -> unitval add : ('a, 'b) t -> key:'a key -> data:'b -> [ `Duplicate | `Ok ]val add_exn : ('a, 'b) t -> key:'a key -> data:'b -> unitval change : ('a, 'b) t -> 'a key -> f:('b option -> 'b option) -> unitval update : ('a, 'b) t -> 'a key -> f:('b option -> 'b) -> unitval map : ('a, 'b) t -> f:('b -> 'c) -> ('a, 'c) tval mapi : ('a, 'b) t -> f:(key:'a key -> data:'b -> 'c) -> ('a, 'c) tval filter_map : ('a, 'b) t -> f:('b -> 'c option) -> ('a, 'c) tval filter_mapi : ('a, 'b) t -> f:(key:'a key -> data:'b -> 'c option) -> ('a, 'c) tval filter_keys : ('a, 'b) t -> f:('a key -> bool) -> ('a, 'b) tval filter : ('a, 'b) t -> f:('b -> bool) -> ('a, 'b) tval filteri : ('a, 'b) t -> f:(key:'a key -> data:'b -> bool) -> ('a, 'b) tval partition_map : ('a, 'b) t -> f:('b -> [ `Fst of 'c | `Snd of 'd ]) -> ('a, 'c) t * ('a, 'd) tval partition_mapi : ('a, 'b) t -> f:(key:'a key -> data:'b -> [ `Fst of 'c | `Snd of 'd ]) -> ('a, 'c) t * ('a, 'd) tval partition_tf : ('a, 'b) t -> f:('b -> bool) -> ('a, 'b) t * ('a, 'b) tval partitioni_tf : ('a, 'b) t -> f:(key:'a key -> data:'b -> bool) -> ('a, 'b) t * ('a, 'b) tval find_or_add : ('a, 'b) t -> 'a key -> default:(unit -> 'b) -> 'bval findi_or_add : ('a, 'b) t -> 'a key -> default:('a key -> 'b) -> 'bval find : ('a, 'b) t -> 'a key -> 'b optionval find_exn : ('a, 'b) t -> 'a key -> 'bval find_and_call : ('a, 'b) t -> 'a key -> if_found:('b -> 'c) -> if_not_found:('a key -> 'c) -> 'cval findi_and_call : ('a, 'b) t -> 'a key -> if_found:(key:'a key -> data:'b -> 'c) -> if_not_found:('a key -> 'c) -> 'cval find_and_remove : ('a, 'b) t -> 'a key -> 'b optionval merge : ('k, 'a) t -> ('k, 'b) t -> f:(key:'k key -> [ `Both of 'a * 'b | `Left of 'a | `Right of 'b ] -> 'c option) -> ('k, 'c) t
type 'a merge_into_action =
val merge_into : src:('k, 'a) t -> dst:('k, 'b) t -> f:(key:'k key -> 'a -> 'b option -> 'b merge_into_action) -> unitval keys : ('a, 'b) t -> 'a key listval data : ('a, 'b) t -> 'b listval filter_keys_inplace : ('a, 'b) t -> f:('a key -> bool) -> unitval filter_inplace : ('a, 'b) t -> f:('b -> bool) -> unitval filteri_inplace : ('a, 'b) t -> f:(key:'a key -> data:'b -> bool) -> unitval map_inplace : ('a, 'b) t -> f:('b -> 'b) -> unitval mapi_inplace : ('a, 'b) t -> f:(key:'a key -> data:'b -> 'b) -> unitval filter_map_inplace : ('a, 'b) t -> f:('b -> 'b option) -> unitval filter_mapi_inplace : ('a, 'b) t -> f:(key:'a key -> data:'b -> 'b option) -> unitval equal : ('a, 'b) t -> ('a, 'b) t -> ('b -> 'b -> bool) -> boolval similar : ('a, 'b1) t -> ('a, 'b2) t -> ('b1 -> 'b2 -> bool) -> boolval to_alist : ('a, 'b) t -> ('a key * 'b) listval validate : name:('a key -> string) -> 'b Base.Validate.check -> ('a, 'b) t Base.Validate.checkval incr : ?by:int -> ?remove_if_zero:bool -> ('a, int) t -> 'a key -> unitval decr : ?by:int -> ?remove_if_zero:bool -> ('a, int) t -> 'a key -> unitval add_multi : ('a, 'b list) t -> key:'a key -> data:'b -> unitval remove_multi : ('a, 'b list) t -> 'a key -> unitval find_multi : ('a, 'b list) t -> 'a key -> 'b list