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 /layer/repr.ml | |
parent | e25b7797708c19cbaef68c14ebef8738de44c2d9 (diff) |
Use first type module instead of functors
Diffstat (limited to 'layer/repr.ml')
-rwxr-xr-x | layer/repr.ml | 12 |
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 |