diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-20 06:38:04 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-20 06:38:04 +0100 |
commit | 986a36b3728eba40789d6063997dafda67b519ec (patch) | |
tree | f0c26704df237b5ccad380596c49a3b13eeac14f /path/point.mli | |
parent | 01c0f5faf98b78d44aaae7f70e0cf4229ad8ed91 (diff) |
Update
Diffstat (limited to 'path/point.mli')
-rwxr-xr-x | path/point.mli | 21 |
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 |