diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 05:36:46 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:43 +0100 |
commit | 979be5f588a1ffd6e1d060cd794e87526d517b7a (patch) | |
tree | a96605b6ae27bcf646b17f022acf7f5f0cf0b8bf /path/repr.ml | |
parent | 85b40e5712fcbe76c697d1a22fb126db8079098c (diff) |
Layer review
Diffstat (limited to 'path/repr.ml')
-rwxr-xr-x | path/repr.ml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/path/repr.ml b/path/repr.ml index 55a2920..17fd914 100755 --- a/path/repr.ml +++ b/path/repr.ml @@ -1,18 +1,19 @@ module type M = sig - type t - type repr + type point + + type t (* Start a new path. *) val start - : t -> repr -> repr + : point -> t -> t val line_to - : t -> t -> repr -> repr + : point -> point -> t -> t val quadratic_to - : (t * Gg.v2 * Gg.v2 * t) -> repr -> repr + : (point * Gg.v2 * Gg.v2 * point) -> t -> t val stop - : repr -> repr + : t -> t end |