diff options
Diffstat (limited to 'clib/cArray.mli')
| -rw-r--r-- | clib/cArray.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clib/cArray.mli b/clib/cArray.mli index 090d2bf627..f94af26515 100644 --- a/clib/cArray.mli +++ b/clib/cArray.mli @@ -110,7 +110,7 @@ sig (** Same with two arrays, folding on the left *) val distinct : 'a array -> bool - (** Return [true] if every element of the array is unique (for default + (** Return [true] if every element of the array is unique (for default equality). *) val rev_of_list : 'a list -> 'a array |