From 89dbb39c3fcd188ef7acf092061d756046b2c5d4 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 22 Feb 2022 14:14:04 +0100 Subject: Reformating --- script.it/layer/wireFramePrinter.mli | 26 ++++++++++---------------- 1 file changed, 10 insertions(+), 16 deletions(-) (limited to 'script.it/layer/wireFramePrinter.mli') diff --git a/script.it/layer/wireFramePrinter.mli b/script.it/layer/wireFramePrinter.mli index b198d58..3b18814 100755 --- a/script.it/layer/wireFramePrinter.mli +++ b/script.it/layer/wireFramePrinter.mli @@ -1,27 +1,21 @@ -module Make(Repr:Repr.PRINTER): sig +module Path = Script_path - type repr +module Make (Repr : Repr.PRINTER) : sig + type repr type t = Path.Point.t - val create_path - : 'b -> repr + val create_path : 'b -> repr (* Start a new path. *) - val start - : Path.Point.t -> repr -> repr + val start : Path.Point.t -> repr -> repr - val line_to - : Path.Point.t -> 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 quadratic_to : + Path.Point.t -> Gg.v2 -> Gg.v2 -> Path.Point.t -> repr -> repr - val stop - : repr -> repr - - - val get - : repr -> Repr.t + val stop : repr -> repr + val get : repr -> Repr.t end -- cgit v1.2.3