aboutsummaryrefslogtreecommitdiff
path: root/layer/repr.ml
diff options
context:
space:
mode:
Diffstat (limited to 'layer/repr.ml')
-rwxr-xr-xlayer/repr.ml49
1 files changed, 0 insertions, 49 deletions
diff --git a/layer/repr.ml b/layer/repr.ml
deleted file mode 100755
index 552e2b7..0000000
--- a/layer/repr.ml
+++ /dev/null
@@ -1,49 +0,0 @@
-module type PRINTER = sig
-
- type t
-
- val create: unit -> t
-
- (* Start a new path. *)
- val move_to: Gg.v2 -> t -> t
-
- val line_to: Gg.v2 -> t -> t
-
- (** [quadratic_to ctrl0 ctrl1 p1] create a quadratic curve from the current
- point to [p1], with control points [ctrl0] and [ctrl1] *)
- val quadratic_to: Gg.v2 -> Gg.v2 -> Gg.v2 -> t -> t
-
- (** Request for the path to be closed *)
- val close: t -> t
-
-end
-
-module type ENGINE = sig
- type t
-
- type point = Path.Point.t
-
- type repr
-
- val get
- : t -> repr
-
- val create_path
- : (repr -> repr) -> t
-
- val start
- : point -> point -> t -> t
-
- val line_to
- : (point * point) -> (point * point) -> t -> t
-
- val quadratic_to
- : (point * Gg.v2 * Gg.v2 * point)
- -> (point * Gg.v2 * Gg.v2 * point)
- -> t
- -> t
-
- val stop
- : t -> t
-
-end