type 'a t = {mutable table : 'a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed
Weak.t
array;mutable totsize : int;mutable limit : int;}val create : int -> 'a tval clear : 'a t -> unitval fold :
('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b -> 'c) ->
'a t ->
'd ->
'eval iter :
('a CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed -> 'b) ->
'a t ->
unitval count : 'a t -> intval resize : 'a t -> unitval add :
'a t ->
'b CoreAndMore__.My_hash_cons.HashConsContainer.hash_consed ->
unitval hashcons :
('a -> int) ->
('b -> 'c -> int) ->
'd t ->
'e ->
'f CoreAndMore__.My_hash_cons.HashConsContainer.hash_consedval stats : 'a t -> int * int * int * int * int * int