aboutsummaryrefslogtreecommitdiff
path: root/path/wireFramePrinter.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-01 11:08:38 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-01 11:08:38 +0100
commitaf88c8895bba85fe5340b34aafb3dce7650bd01f (patch)
treeee0c9d1bd463242c681c6202a9a57c8110d58f59 /path/wireFramePrinter.mli
parente25b7797708c19cbaef68c14ebef8738de44c2d9 (diff)
Use first type module instead of functors
Diffstat (limited to 'path/wireFramePrinter.mli')
-rwxr-xr-xpath/wireFramePrinter.mli14
1 files changed, 7 insertions, 7 deletions
diff --git a/path/wireFramePrinter.mli b/path/wireFramePrinter.mli
index d6f346e..1e76120 100755
--- a/path/wireFramePrinter.mli
+++ b/path/wireFramePrinter.mli
@@ -1,26 +1,26 @@
module Make(Repr:Layer.Repr.PRINTER): sig
- type 'a repr
+ type repr
type t = Point.t
val create_path
- : 'b -> 'a repr
+ : 'b -> repr
(* Start a new path. *)
val start
- : Point.t -> 'a repr -> 'a repr
+ : Point.t -> repr -> repr
val line_to
- : Point.t -> Point.t -> 'a repr -> 'a repr
+ : Point.t -> Point.t -> repr -> repr
val quadratic_to
- : Point.t -> Gg.v2 -> Gg.v2 -> Point.t -> 'a repr -> 'a repr
+ : Point.t -> Gg.v2 -> Gg.v2 -> Point.t -> repr -> repr
val stop
- : 'a repr -> 'a repr
+ : repr -> repr
val get
- : 'a repr -> 'a Repr.t
+ : repr -> Repr.t
end