diff options
author | John Whitington <john@coherentgraphics.co.uk> | 2020-07-23 19:08:46 +0100 |
---|---|---|
committer | John Whitington <john@coherentgraphics.co.uk> | 2020-07-23 19:08:46 +0100 |
commit | 1f2daa31d3600dc240b6e1c87008e27f412ec8fd (patch) | |
tree | 18d79609b020976094f42f998eb5b2ad31949b12 /stdlib/hashtbl.mli | |
parent | f32c4df6df7fad4be314b8d518fb4452859cf8b5 (diff) | |
download | ocaml-1f2daa31d3600dc240b6e1c87008e27f412ec8fd.tar.gz |
Added injectivity annots back (clash with GPR9781)
Diffstat (limited to 'stdlib/hashtbl.mli')
-rw-r--r-- | stdlib/hashtbl.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/hashtbl.mli b/stdlib/hashtbl.mli index 20358f6229..0abfbae601 100644 --- a/stdlib/hashtbl.mli +++ b/stdlib/hashtbl.mli @@ -314,7 +314,7 @@ module type HashedType = module type S = sig type key - type 'a t + type !'a t val create : int -> 'a t val clear : 'a t -> unit val reset : 'a t -> unit (** @since 4.00.0 *) @@ -390,7 +390,7 @@ module type SeededHashedType = module type SeededS = sig type key - type 'a t + type !'a t val create : ?random (* thwart tools/unlabel *) :bool -> int -> 'a t val clear : 'a t -> unit val reset : 'a t -> unit |