diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 14:20:54 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 14:20:54 +0100 |
commit | 21c386fee208adb7b494d2677d9f49ed49a1c1ce (patch) | |
tree | b1c77a0c1870768a4876ec58cc06962768a3fe75 /path/fixed.mli | |
parent | 06c39bbea3b7f8e6bfec88878ec80f9cc474184f (diff) |
Local point configuration
Diffstat (limited to 'path/fixed.mli')
-rwxr-xr-x | path/fixed.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/path/fixed.mli b/path/fixed.mli index f91ffc6..1f12006 100755 --- a/path/fixed.mli +++ b/path/fixed.mli @@ -4,6 +4,8 @@ module type P = sig val get_coord : t -> Gg.v2 + val id : t -> int + end module Make(Point:P) : sig @@ -51,7 +53,6 @@ module Make(Point:P) : sig ; ctrl1:Gg.v2 } (* The control point *) type path = - | Empty | Line of Point.t * Point.t | Curve of bezier |