blob: 13d5528f229f3bfb6b1ef6a956acc6fd12ad1abf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff a/libs/extlib/extHashtbl.mli b/libs/extlib/extHashtbl.mli
--- a/libs/extlib/extHashtbl.mli
+++ b/libs/extlib/extHashtbl.mli
@@ -73,7 +73,7 @@ module Hashtbl :
functions. (note : functor support removed to avoid code
duplication). *)
- val create : int -> ('a, 'b) t
+ val create : ?random:bool -> int -> ('a, 'b) t
val clear : ('a, 'b) t -> unit
val add : ('a, 'b) t -> 'a -> 'b -> unit
val copy : ('a, 'b) t -> ('a, 'b) t
|