aboutsummaryrefslogtreecommitdiff
path: root/script.it/path/repr.ml
diff options
context:
space:
mode:
Diffstat (limited to 'script.it/path/repr.ml')
-rwxr-xr-xscript.it/path/repr.ml19
1 files changed, 19 insertions, 0 deletions
diff --git a/script.it/path/repr.ml b/script.it/path/repr.ml
new file mode 100755
index 0000000..17fd914
--- /dev/null
+++ b/script.it/path/repr.ml
@@ -0,0 +1,19 @@
+module type M = sig
+
+ type point
+
+ type t
+
+ (* Start a new path. *)
+ val start
+ : point -> t -> t
+
+ val line_to
+ : point -> point -> t -> t
+
+ val quadratic_to
+ : (point * Gg.v2 * Gg.v2 * point) -> t -> t
+
+ val stop
+ : t -> t
+end