aboutsummaryrefslogtreecommitdiff
path: root/layer/ductusPrinter.mli
diff options
context:
space:
mode:
Diffstat (limited to 'layer/ductusPrinter.mli')
-rwxr-xr-xlayer/ductusPrinter.mli30
1 files changed, 2 insertions, 28 deletions
diff --git a/layer/ductusPrinter.mli b/layer/ductusPrinter.mli
index cd849ef..cdcaa7c 100755
--- a/layer/ductusPrinter.mli
+++ b/layer/ductusPrinter.mli
@@ -1,28 +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