X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=hcons.mli;fp=hcons.mli;h=0000000000000000000000000000000000000000;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=888531e692dc16bf404cbc20d8a7f5bd7c556c81;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/hcons.mli b/hcons.mli
deleted file mode 100644
index 888531e..0000000
--- a/hcons.mli
+++ /dev/null
@@ -1,31 +0,0 @@
-module type SA =
-  sig
-    type data
-    type t 
-    val make : data -> t
-    val node : t -> data
-    val hash : t -> int
-    val uid : t -> Uid.t
-    val equal : t -> t -> bool
-
-      
-    val with_id : Uid.t -> t
-  end
-
-module type S =
-  sig
-    type data
-    type t = private { id   : Uid.t;
-		       key  : int;
-		       node : data }
-    val make : data -> t
-    val node : t -> data
-    val hash : t -> int
-    val uid : t -> Uid.t
-    val equal : t -> t -> bool
-
-      
-    val with_id : Uid.t -> t
-  end
-
-module Make (H : Hashtbl.HashedType) : S with type data = H.t