diff options
Diffstat (limited to 'path/repr.ml')
-rwxr-xr-x | path/repr.ml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/path/repr.ml b/path/repr.ml deleted file mode 100755 index b91442b..0000000 --- a/path/repr.ml +++ /dev/null @@ -1,19 +0,0 @@ -module type PRINTER = sig - - type 'a t - - val create: unit -> 'a t - - (* Start a new path. *) - val move_to: Gg.v2 -> 'a t -> 'a t - - val line_to: Gg.v2 -> 'a t -> 'a t - - (** [quadratic_to ctrl0 ctrl1 p1] ctreate a quadratic curve from the current - point to [p1], with control points [ctrl0] and [ctrl1] *) - val quadratic_to: Gg.v2 -> Gg.v2 -> Gg.v2 -> 'a t -> 'a t - - (** Request for the path to be closed *) - val close: 'a t -> 'a t - -end |