aboutsummaryrefslogtreecommitdiff
path: root/path/point.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-20 06:38:04 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-20 06:38:04 +0100
commit986a36b3728eba40789d6063997dafda67b519ec (patch)
treef0c26704df237b5ccad380596c49a3b13eeac14f /path/point.mli
parent01c0f5faf98b78d44aaae7f70e0cf4229ad8ed91 (diff)
Update
Diffstat (limited to 'path/point.mli')
-rwxr-xr-xpath/point.mli21
1 files changed, 0 insertions, 21 deletions
diff --git a/path/point.mli b/path/point.mli
index 6418de4..521eced 100755
--- a/path/point.mli
+++ b/path/point.mli
@@ -12,24 +12,3 @@ val copy : t -> Gg.v2 -> t
val get_coord'
: t -> Gg.v2
-
-type 'a repr
-
-val create_path
- : unit -> 'a repr
-
-(* Start a new path. *)
-val start
- : t -> 'a repr -> 'a repr
-
-val line_to
- : t -> 'a repr -> 'a repr
-
-val quadratic_to
- : t -> t -> t -> t -> 'a repr -> 'a repr
-
-val stop
- : 'a repr -> 'a repr
-
-val get
- : 'a repr -> 'a CanvaPrinter.t