From 6354358caa1dfbf2fe1d481f6ac5fba3775938fc Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 22 Dec 2020 21:42:55 +0100
Subject: Blog integration

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

(limited to 'path/builder.mli')

diff --git a/path/builder.mli b/path/builder.mli
index 42f433e..557cdfa 100755
--- a/path/builder.mli
+++ b/path/builder.mli
@@ -32,7 +32,6 @@ end
 
 module Make(P:P) : sig
 
-  type bezier 
   type t
 
   type fixedPath
@@ -72,4 +71,7 @@ module Make(P:P) : sig
   (** Return the shortest distance between the mouse and a point *)
   val distance
     : Gg.v2 -> fixedPath -> float option 
+
+  val id 
+    : fixedPath -> int
 end
-- 
cgit v1.2.3