1 files changed, 3 insertions, 0 deletions
diff --git a/path/builder.mli b/path/builder.mli
index 557cdfa..ca496f7 100755
--- a/path/builder.mli
+++ b/path/builder.mli
@@ -74,4 +74,7 @@ module Make(P:P) : sig
 
   val id 
     : fixedPath -> int
+
+  val map_point 
+    : fixedPath -> (P.t -> P.t) -> fixedPath
 end