aboutsummaryrefslogtreecommitdiff
path: root/layer/fillPrinter.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-11 05:36:46 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-11 13:55:43 +0100
commit979be5f588a1ffd6e1d060cd794e87526d517b7a (patch)
treea96605b6ae27bcf646b17f022acf7f5f0cf0b8bf /layer/fillPrinter.mli
parent85b40e5712fcbe76c697d1a22fb126db8079098c (diff)
Layer review
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