diff options
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-x | path/builder.mli | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/path/builder.mli b/path/builder.mli index 8c8081b..78bb778 100755 --- a/path/builder.mli +++ b/path/builder.mli @@ -11,25 +11,6 @@ module type P = sig end -module type REPR = sig - type t - - type repr - - (* Start a new path. *) - val start - : t -> repr -> repr - - val line_to - : t -> t -> repr -> repr - - val quadratic_to - : t -> Gg.v2 -> Gg.v2 -> t -> repr -> repr - - val stop - : repr -> repr -end - module Make(Point:P) : sig type t @@ -54,6 +35,6 @@ module Make(Point:P) : sig (** Represent the path *) val repr - : t -> (module REPR with type t = Point.t and type repr = 's) -> 's -> 's + : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's end |