From a86ede2f3d29d6de6ef7c1eab577f00d4c583660 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sun, 20 Dec 2020 11:57:14 +0100
Subject: Update

---
 path/builder.mli | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'path/builder.mli')

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
-- 
cgit v1.2.3