From e25b7797708c19cbaef68c14ebef8738de44c2d9 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 30 Dec 2020 11:41:01 +0100
Subject: Refactor

---
 path/builder.mli | 22 ++--------------------
 1 file changed, 2 insertions(+), 20 deletions(-)

(limited to 'path/builder.mli')

diff --git a/path/builder.mli b/path/builder.mli
index ca496f7..7f34f10 100755
--- a/path/builder.mli
+++ b/path/builder.mli
@@ -34,17 +34,15 @@ module Make(P:P) : sig
 
   type t
 
-  type fixedPath
-
   (** Create an empty path *)
   val empty: t
 
   val add_point
-    : P.t -> t -> t * fixedPath option
+    : P.t -> t -> t
 
   (** Replace the last alement in the path by the one given in parameter *)
   val replace_last
-    : P.t -> t -> t * fixedPath option
+    : P.t -> t -> t
 
   (** Retrieve the last element, if any *)
   val peek 
@@ -61,20 +59,4 @@ module Make(P:P) : sig
       : t -> 'a Repr.repr -> 'a Repr.repr
   end
 
-  val to_fixed : t -> fixedPath
-
-  module DrawFixed(Repr:REPR with type t = P.t) : sig 
-    val draw
-      : fixedPath -> 'a Repr.repr -> 'a Repr.repr
-  end
-
-  (** Return the shortest distance between the mouse and a point *)
-  val distance
-    : Gg.v2 -> fixedPath -> float option 
-
-  val id 
-    : fixedPath -> int
-
-  val map_point 
-    : fixedPath -> (P.t -> P.t) -> fixedPath
 end
-- 
cgit v1.2.3