type 'a bucket = | Empty| Cons of {mutable key : 'a;mutable next : 'a bucket;
}
type 'a t = {mutable size : int;mutable data : 'a bucket array;initial_size : int;
}val resize : ('a t -> 'b -> int) -> 'a t -> unitval iter : 'a t -> ('b -> 'c) -> unitval fold : 'a t -> 'b -> ('c -> 'd -> 'e) -> 'fval to_list : 'a t -> 'b listval small_bucket_mem : ('a -> 'b -> bool) -> 'c -> 'd bucket -> boolval remove_bucket :
'a t ->
int ->
'b ->
prec:'c bucket ->
'd bucket ->
('e -> 'f -> bool) ->
unitmodule type S = sig ... end