aboutsummaryrefslogtreecommitdiff
path: root/path/fixed.mli
diff options
context:
space:
mode:
Diffstat (limited to 'path/fixed.mli')
-rwxr-xr-xpath/fixed.mli9
1 files changed, 8 insertions, 1 deletions
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