diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:51:21 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:43 +0100 |
commit | 1aa90219e3e74bac3afbde0ec120e098b50bd0c5 (patch) | |
tree | 50613ecc6f1984b9a9824fc347d064df38f33cf0 /path/builder.mli | |
parent | 42c3c122c4f53dd68bcdd89411835887c3ae0af9 (diff) |
Interior curve evaluation
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-x | path/builder.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/path/builder.mli b/path/builder.mli index ff66bcb..2afbd4b 100755 --- a/path/builder.mli +++ b/path/builder.mli @@ -37,4 +37,7 @@ module Make(Point:P) : sig val repr : t -> (module Repr.M with type point = Point.t and type t = 's) -> 's -> 's + val map + : t -> (Point.t -> Point.t) -> t + end |