diff options
Diffstat (limited to 'lib/cMap.mli')
| -rw-r--r-- | lib/cMap.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/cMap.mli b/lib/cMap.mli index 7091e844e3..9fe3355515 100644 --- a/lib/cMap.mli +++ b/lib/cMap.mli @@ -45,6 +45,12 @@ sig val fold_right : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b (** Folding keys in decreasing order. *) + val smartmap : ('a -> 'a) -> 'a t -> 'a t + (** As [map] but tries to preserve sharing. *) + + val smartmapi : (key -> 'a -> 'a) -> 'a t -> 'a t + (** As [mapi] but tries to preserve sharing. *) + module Unsafe : sig val map : (key -> 'a -> key * 'b) -> 'a t -> 'b t |