diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-07-20 19:40:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-20 19:40:50 +0200 |
| commit | a803cd4cc24ac55a4cc8cbf97f1504459398ef7b (patch) | |
| tree | 0c6d3e81f20f4c5b47278323c20ef8d54683b4c7 /stdlib/hashtbl.ml | |
| parent | 1e71f75ec4000932734ee7c828059d878653e3a6 (diff) | |
| parent | 568a0f5e1c57d743ade93b9809a4a95485b7d491 (diff) | |
| download | ocaml-a803cd4cc24ac55a4cc8cbf97f1504459398ef7b.tar.gz | |
Merge pull request #9781 from yallop/injective-stdlib
Add some injectivity annotations to the standard library.
Diffstat (limited to 'stdlib/hashtbl.ml')
| -rw-r--r-- | stdlib/hashtbl.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/hashtbl.ml b/stdlib/hashtbl.ml index 954c683cf5..0976456aca 100644 --- a/stdlib/hashtbl.ml +++ b/stdlib/hashtbl.ml @@ -287,7 +287,7 @@ module type SeededHashedType = 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 @@ -315,7 +315,7 @@ module type S = module type SeededS = sig type key - type 'a t + type !'a t val create : ?random:bool -> int -> 'a t val clear : 'a t -> unit val reset : 'a t -> unit |