From 42c3c122c4f53dd68bcdd89411835887c3ae0af9 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 11 Jan 2021 11:33:32 +0100
Subject: Outline module

---
 path/fixed.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'path/fixed.mli')

diff --git a/path/fixed.mli b/path/fixed.mli
index 862409b..111187c 100755
--- a/path/fixed.mli
+++ b/path/fixed.mli
@@ -22,10 +22,6 @@ module Make(Point:P) : sig
 
   type t 
 
-  (** Return the identifier for this path *)
-  val id
-    : t -> int
-
   (** Create a path from a builder *)
   val to_fixed
     : (module BUILDER with type t = 'a) -> 'a -> t
-- 
cgit v1.2.3