diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-01 11:08:38 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-01 11:08:38 +0100 |
commit | af88c8895bba85fe5340b34aafb3dce7650bd01f (patch) | |
tree | ee0c9d1bd463242c681c6202a9a57c8110d58f59 /path/wireFramePrinter.mli | |
parent | e25b7797708c19cbaef68c14ebef8738de44c2d9 (diff) |
Use first type module instead of functors
Diffstat (limited to 'path/wireFramePrinter.mli')
-rwxr-xr-x | path/wireFramePrinter.mli | 14 |
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 |