From fae31bdb659b4b14322136e045ea565d38bbd04f Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 29 Dec 2020 21:41:47 +0100
Subject: Dynamic width

---
 path/builder.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'path/builder.mli')

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
-- 
cgit v1.2.3