aboutsummaryrefslogtreecommitdiff
path: root/path/point.mli
diff options
context:
space:
mode:
Diffstat (limited to 'path/point.mli')
-rwxr-xr-xpath/point.mli4
1 files changed, 3 insertions, 1 deletions
diff --git a/path/point.mli b/path/point.mli
index 649a3be..db87a71 100755
--- a/path/point.mli
+++ b/path/point.mli
@@ -6,7 +6,9 @@ val (+): t -> Gg.v2 -> t
val get_coord : t -> Gg.v2
-val create: angle:float -> width:float -> x:float -> y:float -> t
+val get_stamp : t -> float
+
+val create: angle:float -> width:float -> stamp:float -> x:float -> y:float -> t
val copy : t -> Gg.v2 -> t