From 4f262d6540281487f79870aff589ca92f5d2f6c6 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 16 Dec 2020 14:39:42 +0100 Subject: Initial commit --- draw/point.mli | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100755 draw/point.mli (limited to 'draw/point.mli') diff --git a/draw/point.mli b/draw/point.mli new file mode 100755 index 0000000..8e3f5aa --- /dev/null +++ b/draw/point.mli @@ -0,0 +1,13 @@ +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 -- cgit v1.2.3