diff options
Diffstat (limited to 'lib/cMap.mli')
| -rw-r--r-- | lib/cMap.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cMap.mli b/lib/cMap.mli index 4009ec99e..4a95c2346 100644 --- a/lib/cMap.mli +++ b/lib/cMap.mli @@ -54,7 +54,7 @@ sig module Unsafe : sig val map : (key -> 'a -> key * 'b) -> 'a t -> 'b t - (** As the usual [map], but also allows to modify the key of a binding. + (** As the usual [map], but also allows modifying the key of a binding. It is required that the mapping function [f] preserves key equality, i.e.: for all (k : key) (x : 'a), compare (fst (f k x)) k = 0. *) end |