aboutsummaryrefslogtreecommitdiff
path: root/draw/point.mli
diff options
context:
space:
mode:
Diffstat (limited to 'draw/point.mli')
-rwxr-xr-xdraw/point.mli13
1 files changed, 0 insertions, 13 deletions
diff --git a/draw/point.mli b/draw/point.mli
deleted file mode 100755
index 8e3f5aa..0000000
--- a/draw/point.mli
+++ /dev/null
@@ -1,13 +0,0 @@
-type t
-
-val (+): t -> Gg.v2 -> t
-
-val get_coord : t -> Gg.v2
-
-val create: float -> float -> t
-
-val add_point_in_path
- : float -> float -> t list -> Curves.Bezier.t list -> t list * Curves.Bezier.t list
-
-val get_coord'
- : t -> Gg.v2