aboutsummaryrefslogtreecommitdiff
path: root/path/builder.mli
diff options
context:
space:
mode:
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-xpath/builder.mli4
1 files changed, 3 insertions, 1 deletions
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