From 561d0f0155f4906d90eb7e73a3ff9cb28909126f Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 5 Feb 2021 09:08:39 +0100 Subject: Update project structure --- layer/wireFramePrinter.mli | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100755 layer/wireFramePrinter.mli (limited to 'layer/wireFramePrinter.mli') diff --git a/layer/wireFramePrinter.mli b/layer/wireFramePrinter.mli deleted file mode 100755 index b198d58..0000000 --- a/layer/wireFramePrinter.mli +++ /dev/null @@ -1,27 +0,0 @@ -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 -- cgit v1.2.3