diff options
Diffstat (limited to 'path/point.mli')
| -rwxr-xr-x | path/point.mli | 25 | 
1 files changed, 25 insertions, 0 deletions
diff --git a/path/point.mli b/path/point.mli index 4b75c3c..6418de4 100755 --- a/path/point.mli +++ b/path/point.mli @@ -1,10 +1,35 @@  type t +val empty : t +  val (+): t -> Gg.v2 -> t  val get_coord : t -> Gg.v2  val create: float -> float -> t +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  | 
