Parameter Make_backend.1-Table
val hash : 'a -> int
val hash_param : int -> int -> 'a -> int
type ('a, 'b) t
val sexp_of_t : ('a -> Base.Sexp.t ) -> ('b -> Base.Sexp.t ) -> ('a , 'b ) t -> Base.Sexp.t
val create : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> ('a , 'b ) t
val of_alist : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> ('a * 'b ) list -> [ `Duplicate_key of 'a | `Ok of ('a , 'b ) t ]
val of_alist_report_all_dups : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> ('a * 'b ) list -> [ `Duplicate_keys of 'a list | `Ok of ('a , 'b ) t ]
val of_alist_or_error : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> ('a * 'b ) list -> ('a , 'b ) t Base.Or_error.t
val of_alist_exn : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> ('a * 'b ) list -> ('a , 'b ) t
val of_alist_multi : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> ('a * 'b ) list -> ('a , 'b list ) t
val create_mapped : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> get_key:('r -> 'a ) -> get_data:('r -> 'b ) -> 'r list -> [ `Duplicate_keys of 'a list | `Ok of ('a , 'b ) t ]
val create_with_key : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> get_key:('r -> 'a ) -> 'r list -> [ `Duplicate_keys of 'a list | `Ok of ('a , 'r ) t ]
val create_with_key_or_error : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> get_key:('r -> 'a ) -> 'r list -> ('a , 'r ) t Base.Or_error.t
val create_with_key_exn : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> get_key:('r -> 'a ) -> 'r list -> ('a , 'r ) t
val group : ?growth_allowed:bool -> ?size:int -> 'a Base__.Hashtbl_intf.Key.t -> get_key:('r -> 'a ) -> get_data:('r -> 'b ) -> combine:('b -> 'b -> 'b ) -> 'r list -> ('a , 'b ) t
type 'a key
= 'a
val sexp_of_key : ('a , 'b ) t -> 'a key -> Base.Sexp.t
val clear : ('a , 'b ) t -> unit
val copy : ('a , 'b ) t -> ('a , 'b ) t
val fold : ('a , 'b ) t -> init:'c -> f:(key:'a key -> data:'b -> 'c -> 'c ) -> 'c
val iter_keys : ('a , 'b ) t -> f:('a key -> unit) -> unit
val iter : ('a , 'b ) t -> f:('b -> unit) -> unit
val iteri : ('a , 'b ) t -> f:(key:'a key -> data:'b -> unit) -> unit
val existsi : ('a , 'b ) t -> f:(key:'a key -> data:'b -> bool) -> bool
val exists : ('a , 'b ) t -> f:('b -> bool) -> bool
val for_alli : ('a , 'b ) t -> f:(key:'a key -> data:'b -> bool) -> bool
val for_all : ('a , 'b ) t -> f:('b -> bool) -> bool
val counti : ('a , 'b ) t -> f:(key:'a key -> data:'b -> bool) -> int
val count : ('a , 'b ) t -> f:('b -> bool) -> int
val length : ('a , 'b ) t -> int
val is_empty : ('a , 'b ) t -> bool
val mem : ('a , 'b ) t -> 'a key -> bool
val remove : ('a , 'b ) t -> 'a key -> unit
val choose : ('a , 'b ) t -> ('a key * 'b ) option
val choose_exn : ('a , 'b ) t -> 'a key * 'b
val set : ('a , 'b ) t -> key:'a key -> data:'b -> unit
val add : ('a , 'b ) t -> key:'a key -> data:'b -> [ `Duplicate | `Ok ]
val add_exn : ('a , 'b ) t -> key:'a key -> data:'b -> unit
val change : ('a , 'b ) t -> 'a key -> f:('b option -> 'b option ) -> unit
val update : ('a , 'b ) t -> 'a key -> f:('b option -> 'b ) -> unit
val map : ('a , 'b ) t -> f:('b -> 'c ) -> ('a , 'c ) t
val mapi : ('a , 'b ) t -> f:(key:'a key -> data:'b -> 'c ) -> ('a , 'c ) t
val filter_map : ('a , 'b ) t -> f:('b -> 'c option ) -> ('a , 'c ) t
val filter_mapi : ('a , 'b ) t -> f:(key:'a key -> data:'b -> 'c option ) -> ('a , 'c ) t
val filter_keys : ('a , 'b ) t -> f:('a key -> bool) -> ('a , 'b ) t
val filter : ('a , 'b ) t -> f:('b -> bool) -> ('a , 'b ) t
val filteri : ('a , 'b ) t -> f:(key:'a key -> data:'b -> bool) -> ('a , 'b ) t
val partition_map : ('a , 'b ) t -> f:('b -> [ `Fst of 'c | `Snd of 'd ] ) -> ('a , 'c ) t * ('a , 'd ) t
val partition_mapi : ('a , 'b ) t -> f:(key:'a key -> data:'b -> [ `Fst of 'c | `Snd of 'd ] ) -> ('a , 'c ) t * ('a , 'd ) t
val partition_tf : ('a , 'b ) t -> f:('b -> bool) -> ('a , 'b ) t * ('a , 'b ) t
val partitioni_tf : ('a , 'b ) t -> f:(key:'a key -> data:'b -> bool) -> ('a , 'b ) t * ('a , 'b ) t
val find_or_add : ('a , 'b ) t -> 'a key -> default:(unit -> 'b ) -> 'b
val findi_or_add : ('a , 'b ) t -> 'a key -> default:('a key -> 'b ) -> 'b
val find : ('a , 'b ) t -> 'a key -> 'b option
val find_exn : ('a , 'b ) t -> 'a key -> 'b
val find_and_call : ('a , 'b ) t -> 'a key -> if_found:('b -> 'c ) -> if_not_found:('a key -> 'c ) -> 'c
val findi_and_call : ('a , 'b ) t -> 'a key -> if_found:(key:'a key -> data:'b -> 'c ) -> if_not_found:('a key -> 'c ) -> 'c
val find_and_remove : ('a , 'b ) t -> 'a key -> 'b option
val 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
val merge_into : src:('k , 'a ) t -> dst:('k , 'b ) t -> f:(key:'k key -> 'a -> 'b option -> 'b Base__.Hashtbl_intf.Merge_into_action.t ) -> unit
val keys : ('a , 'b ) t -> 'a key list
val data : ('a , 'b ) t -> 'b list
val filter_keys_inplace : ('a , 'b ) t -> f:('a key -> bool) -> unit
val filter_inplace : ('a , 'b ) t -> f:('b -> bool) -> unit
val filteri_inplace : ('a , 'b ) t -> f:(key:'a key -> data:'b -> bool) -> unit
val map_inplace : ('a , 'b ) t -> f:('b -> 'b ) -> unit
val mapi_inplace : ('a , 'b ) t -> f:(key:'a key -> data:'b -> 'b ) -> unit
val filter_map_inplace : ('a , 'b ) t -> f:('b -> 'b option ) -> unit
val filter_mapi_inplace : ('a , 'b ) t -> f:(key:'a key -> data:'b -> 'b option ) -> unit
val equal : ('b -> 'b -> bool) -> ('a , 'b ) t -> ('a , 'b ) t -> bool
val similar : ('b1 -> 'b2 -> bool) -> ('a , 'b1 ) t -> ('a , 'b2 ) t -> bool
val to_alist : ('a , 'b ) t -> ('a key * 'b ) list
val validate : name:('a key -> string) -> 'b Base.Validate.check -> ('a , 'b ) t Base.Validate.check
val incr : ?by:int -> ?remove_if_zero:bool -> ('a , int) t -> 'a key -> unit
val decr : ?by:int -> ?remove_if_zero:bool -> ('a , int) t -> 'a key -> unit
val add_multi : ('a , 'b list ) t -> key:'a key -> data:'b -> unit
val remove_multi : ('a , 'b list ) t -> 'a key -> unit
val find_multi : ('a , 'b list ) t -> 'a key -> 'b list
val hashable_s : ('key , 'a ) t -> 'key Base__.Hashtbl_intf.Key.t
val invariant : 'a Base__.Invariant_intf.inv -> 'b Base__.Invariant_intf.inv -> ('a , 'b ) t Base__.Invariant_intf.inv
module Poly : sig ... end
val hashable : ('key , _ ) t -> 'key Hashable.t