From 06c39bbea3b7f8e6bfec88878ec80f9cc474184f Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 7 Jan 2021 00:03:03 +0100
Subject: Update

---
 path/point.mli | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'path/point.mli')

diff --git a/path/point.mli b/path/point.mli
index c897195..fab42d2 100755
--- a/path/point.mli
+++ b/path/point.mli
@@ -22,3 +22,8 @@ val get_width: t -> float
 
 val get_coord'
   : t -> Gg.v2
+
+(** [mix f point p0 p1] create a new point at the position point, with the
+    characteristics from p0 and p1 *)
+val mix
+  : float -> Gg.v2 -> t -> t -> t
-- 
cgit v1.2.3