From 979be5f588a1ffd6e1d060cd794e87526d517b7a Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 11 Jan 2021 05:36:46 +0100 Subject: Layer review --- layer/ductusPrinter.mli | 30 ++---------------------------- 1 file changed, 2 insertions(+), 28 deletions(-) (limited to 'layer/ductusPrinter.mli') 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 -- cgit v1.2.3