diff options
| author | Jeremy Yallop <yallop@gmail.com> | 2020-07-18 15:50:42 +0100 |
|---|---|---|
| committer | Jeremy Yallop <yallop@gmail.com> | 2020-07-18 15:50:42 +0100 |
| commit | 0aa72dd0340fb51dbd412a39440281e4cdde97fd (patch) | |
| tree | 6a437a390fd840e1cff0201902201506b0da2045 /stdlib/weak.ml | |
| parent | fb6cfaf74c2a723b058c4c920b7eda9330fe5ba7 (diff) | |
| download | ocaml-0aa72dd0340fb51dbd412a39440281e4cdde97fd.tar.gz | |
Add some injectivity annotations to the standard library.
Diffstat (limited to 'stdlib/weak.ml')
| -rw-r--r-- | stdlib/weak.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/weak.ml b/stdlib/weak.ml index 1746574f2d..7816ffd46f 100644 --- a/stdlib/weak.ml +++ b/stdlib/weak.ml @@ -15,7 +15,7 @@ (** Weak array operations *) -type 'a t +type !'a t external create : int -> 'a t = "caml_weak_create" |