1 files changed, 4 insertions, 0 deletions
diff --git a/lib/cMap.mli b/lib/cMap.mli
index 9b7043d9ec..222138828e 100644
--- a/lib/cMap.mli
+++ b/lib/cMap.mli
@@ -27,6 +27,10 @@ sig
   val domain : 'a t -> Set.t
   (** Recover the set of keys defined in the map. *)
 
+  val bind : (key -> 'a) -> Set.t -> 'a t
+  (** [bind f s] transform the set [x1; ...; xn] into [x1 := f x1; ...;
+      xn := f xn]. *)
+
 end
 
 module Make(M : Map.OrderedType) : ExtS with