--- ./jc/jc_stdlib_ge312.ml.orig 2012-07-19 12:33:10.000000000 -0600 +++ ./jc/jc_stdlib_ge312.ml 2012-07-31 15:26:24.760859244 -0600 @@ -198,8 +198,9 @@ module Hashtbl = struct module type Std = sig type ('a, 'b) t - val create : int -> ('a, 'b) t + val create : ?random:bool -> int -> ('a, 'b) t val clear : ('a, 'b) t -> unit + val reset : ('a, 'b) t -> unit val add : ('a, 'b) t -> 'a -> 'b -> unit val copy : ('a, 'b) t -> ('a, 'b) t val find : ('a, 'b) t -> 'a -> 'b @@ -210,8 +211,12 @@ module Hashtbl = struct val iter : ('a -> 'b -> unit) -> ('a, 'b) t -> unit val fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c val length : ('a, 'b) t -> int + val randomize : unit -> unit + val stats : ('a, 'b) t -> Hashtbl.statistics val hash : 'a -> int + val seeded_hash : int -> 'a -> int val hash_param : int -> int -> 'a -> int + val seeded_hash_param : int -> int -> int -> 'a -> int end include (Hashtbl : Std)