diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-06 22:09:53 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-06 22:09:53 +0100 |
commit | a63662059215a26db627c4b76147a3c9338f5b74 (patch) | |
tree | c71b984b2327ebe743809e04b0a29aac0e15cc56 /path/fixed.mli | |
parent | 6ae97ecca8b4f38213f0f45aa6eaef944cd6b497 (diff) |
Point suppression
Diffstat (limited to 'path/fixed.mli')
-rwxr-xr-x | path/fixed.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/path/fixed.mli b/path/fixed.mli index c6af84d..32f6012 100755 --- a/path/fixed.mli +++ b/path/fixed.mli @@ -40,9 +40,15 @@ module Make(Point:P) : sig val distance : Gg.v2 -> t -> (Gg.v2 * float * Point.t * Point.t) option + val iter + : t -> f:(Point.t -> unit) -> unit + val map_point : t -> (Point.t -> Point.t) -> t + val remove_point + : t -> Point.t -> t + type bezier = { p0:Point.t (* The starting point *) ; p1:Point.t (* The end point *) |