aboutsummaryrefslogtreecommitdiff
path: root/layer/fillPrinter.mli
diff options
context:
space:
mode:
Diffstat (limited to 'layer/fillPrinter.mli')
-rwxr-xr-xlayer/fillPrinter.mli29
1 files changed, 2 insertions, 27 deletions
diff --git a/layer/fillPrinter.mli b/layer/fillPrinter.mli
index c1bb30e..cdcaa7c 100755
--- a/layer/fillPrinter.mli
+++ b/layer/fillPrinter.mli
@@ -1,27 +1,2 @@
-module Make(Repr:Repr.PRINTER): sig
-
- type repr
-
- type t = Path.Point.t
-
- val create_path
- : (Repr.t -> Repr.t) -> repr
-
- (* Start a new path. *)
- val start
- : Path.Point.t -> repr -> repr
-
- val line_to
- : Path.Point.t -> Path.Point.t -> repr -> repr
-
- val quadratic_to
- : (Path.Point.t * Gg.v2 * Gg.v2 * Path.Point.t) -> repr -> repr
-
- val stop
- : repr -> repr
-
- val get
- : repr -> Repr.t
-
-end
-
+module Make(R:Repr.PRINTER):
+ Repr.LAYER with type repr = R.t