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