diff options
| author | Pierre-Marie Pédrot | 2020-01-28 15:32:18 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-28 15:32:18 +0100 |
| commit | 60dd89f3a9b946875cc38678f50bd50431bafa3d (patch) | |
| tree | 5da4640c79a1059da97185884e3440f64d27ee2e /clib/cArray.mli | |
| parent | b105077dd42e34f19d0849620fec2837e84b4887 (diff) | |
| parent | 41b844befc7e7a720510358389e7e84e239404db (diff) | |
Merge PR #11376: Fix fold order in CArray.fold_right(2)_map
Reviewed-by: ppedrot
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 f94af26515..94390a369f 100644 --- a/clib/cArray.mli +++ b/clib/cArray.mli @@ -107,7 +107,7 @@ sig (** Same than [fold_left2_map] but passing the index of the array *) val fold_right2_map : ('a -> 'b -> 'c -> 'd * 'c) -> 'a array -> 'b array -> 'c -> 'd array * 'c - (** Same with two arrays, folding on the left *) + (** Same with two arrays, folding on the right *) val distinct : 'a array -> bool (** Return [true] if every element of the array is unique (for default |