From 6e5c6bf7beadc72e64e5d929e301b473b01c9303 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 7 Jan 2021 18:41:30 +0100
Subject: Update

---
 path/fixed.mli | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'path/fixed.mli')

diff --git a/path/fixed.mli b/path/fixed.mli
index 1f12006..06b3539 100755
--- a/path/fixed.mli
+++ b/path/fixed.mli
@@ -32,10 +32,17 @@ module Make(Point:P) : sig
   val repr
     : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's
 
+  type approx =
+    { distance : float
+    ; closest_point : Gg.v2
+    ; ratio : float
+    ; p0 : Point.t
+    ; p1 : Point.t }
+
   (** Return the distance between a given point and the curve. May return
       None if the point is out of the curve *)
   val distance
-    : Gg.v2 -> t -> (Gg.v2 * float * Point.t * Point.t) option
+    : Gg.v2 -> t -> approx option
 
   val iter
     : t -> f:(Point.t -> unit) -> unit
-- 
cgit v1.2.3