diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/cArray.mli | 2 | ||||
-rw-r--r-- | lib/cMap.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/cArray.mli b/lib/cArray.mli index e3a3bd7f5..28f5110ee 100644 --- a/lib/cArray.mli +++ b/lib/cArray.mli @@ -126,5 +126,5 @@ sig end (** The functions defined in this module are the same as the main ones, except that they are all higher-order, and their function arguments have an - additional parameter. This allows to prevent closure creation in critical + additional parameter. This allows us to prevent closure creation in critical cases. *) 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 |