diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-19 19:59:17 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-19 19:59:17 +0100 |
commit | 0faaa5fda396f0eca6bebf69f3624a344278fa6e (patch) | |
tree | cbca5d2f306506c0896f83b8bdd45b777c78aa35 /path/repr.ml | |
parent | e5c2a971644746818f8764481c60c4c5cf1a80c4 (diff) |
First commit
Diffstat (limited to 'path/repr.ml')
-rwxr-xr-x | path/repr.ml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/path/repr.ml b/path/repr.ml new file mode 100755 index 0000000..b91442b --- /dev/null +++ b/path/repr.ml @@ -0,0 +1,19 @@ +module type PRINTER = sig + + type 'a t + + val create: unit -> 'a t + + (* Start a new path. *) + val move_to: Gg.v2 -> 'a t -> 'a t + + val line_to: Gg.v2 -> 'a t -> 'a t + + (** [quadratic_to ctrl0 ctrl1 p1] ctreate a quadratic curve from the current + point to [p1], with control points [ctrl0] and [ctrl1] *) + val quadratic_to: Gg.v2 -> Gg.v2 -> Gg.v2 -> 'a t -> 'a t + + (** Request for the path to be closed *) + val close: 'a t -> 'a t + +end |