aboutsummaryrefslogtreecommitdiff
path: root/layer/repr.ml
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 /layer/repr.ml
parente25b7797708c19cbaef68c14ebef8738de44c2d9 (diff)
Use first type module instead of functors
Diffstat (limited to 'layer/repr.ml')
-rwxr-xr-xlayer/repr.ml12
1 files changed, 6 insertions, 6 deletions
diff --git a/layer/repr.ml b/layer/repr.ml
index b91442b..f2d114c 100755
--- a/layer/repr.ml
+++ b/layer/repr.ml
@@ -1,19 +1,19 @@
module type PRINTER = sig
- type 'a t
+ type t
- val create: unit -> 'a t
+ val create: unit -> t
(* Start a new path. *)
- val move_to: Gg.v2 -> 'a t -> 'a t
+ val move_to: Gg.v2 -> t -> t
- val line_to: Gg.v2 -> 'a t -> 'a t
+ val line_to: Gg.v2 -> t -> t
(** [quadratic_to ctrl0 ctrl1 p1] ctreate a quadratic curve from the current
point to [p1], with control points [ctrl0] and [ctrl1] *)
- val quadratic_to: Gg.v2 -> Gg.v2 -> Gg.v2 -> 'a t -> 'a t
+ val quadratic_to: Gg.v2 -> Gg.v2 -> Gg.v2 -> t -> t
(** Request for the path to be closed *)
- val close: 'a t -> 'a t
+ val close: t -> t
end