aboutsummaryrefslogtreecommitdiff
path: root/path/builder.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-20 11:57:14 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-20 11:57:14 +0100
commita86ede2f3d29d6de6ef7c1eab577f00d4c583660 (patch)
tree7cd3a5185d8ebf995f75238fce6904b71c62596e /path/builder.mli
parent986a36b3728eba40789d6063997dafda67b519ec (diff)
Update
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-xpath/builder.mli11
1 files changed, 10 insertions, 1 deletions
diff --git a/path/builder.mli b/path/builder.mli
index 17c1a2a..f5adef1 100755
--- a/path/builder.mli
+++ b/path/builder.mli
@@ -24,7 +24,7 @@ module type REPR = sig
: t -> 'a repr -> 'a repr
val line_to
- : t -> 'a repr -> 'a repr
+ : t -> t -> 'a repr -> 'a repr
val quadratic_to
: t -> Gg.v2 -> Gg.v2 -> t -> 'a repr -> 'a repr
@@ -74,4 +74,13 @@ module Make(P:P) : sig
: t -> 'a Repr.repr
end
+ type fixedPath
+
+ val to_fixed : t -> fixedPath
+
+ module DrawFixed(Repr:REPR with type t = P.t) : sig
+ val draw
+ : fixedPath -> 'a Repr.repr
+ end
+
end