Adding a smartmap[i] operator to maps.

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