summaryrefslogtreecommitdiff
path: root/layer/linePrinter.mli
diff options
context:
space:
mode:
Diffstat (limited to 'layer/linePrinter.mli')
-rwxr-xr-xlayer/linePrinter.mli31
1 files changed, 2 insertions, 29 deletions
diff --git a/layer/linePrinter.mli b/layer/linePrinter.mli
index b6e9603..191830a 100755
--- a/layer/linePrinter.mli
+++ b/layer/linePrinter.mli
@@ -1,29 +1,2 @@
-module Make(Repr:Repr.PRINTER): sig
-
- type repr
-
- type t = Path.Point.t
-
- val create_path
- : 'b -> 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