Tbl (infer.Llair.FuncName.Tbl)

include CCHashtbl.S with type key := Llair__.LlairExp.FuncName.t

type !'a t

val clear : 'a t -> unit

val reset : 'a t -> unit

val copy : 'a t -> 'a t

val add : 'a t -> Llair__.LlairExp.FuncName.exp -> 'a -> unit

val remove : 'a t -> Llair__.LlairExp.FuncName.exp -> unit

val find_opt : 'a t -> Llair__.LlairExp.FuncName.exp -> 'a option

val find_all : 'a t -> Llair__.LlairExp.FuncName.exp -> 'a list

val replace : 'a t -> Llair__.LlairExp.FuncName.exp -> 'a -> unit

val mem : 'a t -> Llair__.LlairExp.FuncName.exp -> bool

val iter : (Llair__.LlairExp.FuncName.exp -> 'a -> unit) -> 'a t -> unit

val filter_map_inplace : 
  (Llair__.LlairExp.FuncName.exp -> 'a -> 'a option) ->
  'a t ->
  unit

val length : 'a t -> int

val stats : 'a t -> Stdlib__Hashtbl.statistics

val to_seq : 'a t -> (Llair__.LlairExp.FuncName.exp * 'a) Stdlib.Seq.t

val to_seq_keys : 'a t -> Llair__.LlairExp.FuncName.exp Stdlib.Seq.t

val to_seq_values : 'a t -> 'a Stdlib.Seq.t

val replace_seq : 
  'a t ->
  (Llair__.LlairExp.FuncName.exp * 'a) Stdlib.Seq.t ->
  unit

val get : 'a t -> Llair__.LlairExp.FuncName.exp -> 'a option

val get_or : 'a t -> Llair__.LlairExp.FuncName.exp -> default:'a -> 'a

val add_list : 'a list t -> Llair__.LlairExp.FuncName.exp -> 'a -> unit

val incr : ?by:int -> int t -> Llair__.LlairExp.FuncName.exp -> unit

val decr : ?by:int -> int t -> Llair__.LlairExp.FuncName.exp -> unit

val keys : 'a t -> Llair__.LlairExp.FuncName.exp CCHashtbl.iter

val values : 'a t -> 'a CCHashtbl.iter

val keys_list : 'a t -> Llair__.LlairExp.FuncName.exp list

val values_list : 'a t -> 'a list

val map_list : (Llair__.LlairExp.FuncName.exp -> 'a -> 'b) -> 'a t -> 'b list

val to_iter : 'a t -> (Llair__.LlairExp.FuncName.exp * 'a) CCHashtbl.iter

val add_iter : 
  'a t ->
  (Llair__.LlairExp.FuncName.exp * 'a) CCHashtbl.iter ->
  unit

val add_iter_with : 
  f:(Llair__.LlairExp.FuncName.exp -> 'a -> 'a -> 'a) ->
  'a t ->
  (Llair__.LlairExp.FuncName.exp * 'a) CCHashtbl.iter ->
  unit

val add_seq : 'a t -> (Llair__.LlairExp.FuncName.exp * 'a) Stdlib.Seq.t -> unit

val add_seq_with : 
  f:(Llair__.LlairExp.FuncName.exp -> 'a -> 'a -> 'a) ->
  'a t ->
  (Llair__.LlairExp.FuncName.exp * 'a) Stdlib.Seq.t ->
  unit

val of_iter : (Llair__.LlairExp.FuncName.exp * 'a) CCHashtbl.iter -> 'a t

val of_iter_with : 
  f:(Llair__.LlairExp.FuncName.exp -> 'a -> 'a -> 'a) ->
  (Llair__.LlairExp.FuncName.exp * 'a) CCHashtbl.iter ->
  'a t

val of_seq : (Llair__.LlairExp.FuncName.exp * 'a) Stdlib.Seq.t -> 'a t

val of_seq_with : 
  f:(Llair__.LlairExp.FuncName.exp -> 'a -> 'a -> 'a) ->
  (Llair__.LlairExp.FuncName.exp * 'a) Stdlib.Seq.t ->
  'a t

val add_iter_count : 
  int t ->
  Llair__.LlairExp.FuncName.exp CCHashtbl.iter ->
  unit

val add_seq_count : int t -> Llair__.LlairExp.FuncName.exp Stdlib.Seq.t -> unit

val of_iter_count : Llair__.LlairExp.FuncName.exp CCHashtbl.iter -> int t

val of_seq_count : Llair__.LlairExp.FuncName.exp Stdlib.Seq.t -> int t

val to_list : 'a t -> (Llair__.LlairExp.FuncName.exp * 'a) list

val of_list : (Llair__.LlairExp.FuncName.exp * 'a) list -> 'a t

val of_list_with : 
  f:(Llair__.LlairExp.FuncName.exp -> 'a -> 'a -> 'a) ->
  (Llair__.LlairExp.FuncName.exp * 'a) list ->
  'a t

val get_or_add : 
  'a t ->
  f:(Llair__.LlairExp.FuncName.exp -> 'a) ->
  k:Llair__.LlairExp.FuncName.exp ->
  'a

val pp : 
  ?pp_start:unit CCHashtbl.printer ->
  ?pp_stop:unit CCHashtbl.printer ->
  ?pp_sep:unit CCHashtbl.printer ->
  ?pp_arrow:unit CCHashtbl.printer ->
  Llair__.LlairExp.FuncName.exp CCHashtbl.printer ->
  'a CCHashtbl.printer ->
  'a t CCHashtbl.printer

val create : ?size:int -> unit -> 'a t

val set : 'a t -> key:Llair__.LlairExp.FuncName.exp -> data:'a -> unit

val add_multi : 
  'a list t ->
  key:Llair__.LlairExp.FuncName.exp ->
  data:'a ->
  unit

val update : 
  'a t ->
  Llair__.LlairExp.FuncName.exp ->
  f:('a option -> 'a option) ->
  unit

val find_exn : 'a t -> Llair__.LlairExp.FuncName.exp -> 'a

val find : 'a t -> Llair__.LlairExp.FuncName.exp -> 'a option

val find_or_add : 
  'a t ->
  Llair__.LlairExp.FuncName.exp ->
  default:(unit -> 'a) ->
  'a

val iteri : 
  'a t ->
  f:(key:Llair__.LlairExp.FuncName.exp -> data:'a -> unit) ->
  unit

val fold : 
  'a t ->
  's ->
  f:(key:Llair__.LlairExp.FuncName.exp -> data:'a -> 's -> 's) ->
  's