diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-05 21:43:08 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-05 21:43:08 +0100 |
commit | 6ae97ecca8b4f38213f0f45aa6eaef944cd6b497 (patch) | |
tree | 4161c43168fa02f89f4fcf352142d4646d0e980a /path/fixed.mli | |
parent | a8f37f041dce3f16917b6659d3ca97492f178f4d (diff) |
Responsive sliders
Diffstat (limited to 'path/fixed.mli')
-rwxr-xr-x | path/fixed.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/path/fixed.mli b/path/fixed.mli index c84b51d..c6af84d 100755 --- a/path/fixed.mli +++ b/path/fixed.mli @@ -38,7 +38,7 @@ module Make(Point:P) : sig (** 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) option + : Gg.v2 -> t -> (Gg.v2 * float * Point.t * Point.t) option val map_point : t -> (Point.t -> Point.t) -> t |