diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 05:36:46 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:43 +0100 |
commit | 979be5f588a1ffd6e1d060cd794e87526d517b7a (patch) | |
tree | a96605b6ae27bcf646b17f022acf7f5f0cf0b8bf /layer/fillPrinter.mli | |
parent | 85b40e5712fcbe76c697d1a22fb126db8079098c (diff) |
Layer review
Diffstat (limited to 'layer/fillPrinter.mli')
-rwxr-xr-x | layer/fillPrinter.mli | 29 |
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 |