diff options
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 |