26 lines
1,006 B
Diff
26 lines
1,006 B
Diff
--- ./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)
|