Sophie

Sophie

distrib > Fedora > 18 > i386 > by-pkgid > 39508bca118eac611638471b39505795 > files > 16

why-2.31-6.fc18.src.rpm

--- ./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)