X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=hcons.mli;h=dcdcb69c26e26c45690da40285ac6400163235ea;hb=3445f7f08f15fe41e0d1bfaaabaacf60cdc10b61;hp=49af121a88d02da8535daf07e089b6f62bd6b97e;hpb=2676d5a3bbb1e6f6a5af66477edfe3b4c849f4e7;p=SXSI%2Fxpathcomp.git

diff --git a/hcons.mli b/hcons.mli
index 49af121..dcdcb69 100644
--- a/hcons.mli
+++ b/hcons.mli
@@ -1,4 +1,4 @@
-module type S =
+module type SA =
   sig
     type data
     type t 
@@ -9,4 +9,17 @@ module type S =
     val equal : t -> t -> bool
   end
 
+module type S =
+  sig
+    type data
+    type t = private { id : int;
+		       key : int;
+		       node : data }
+    val make : data -> t
+    val node : t -> data
+    val hash : t -> int
+    val uid : t -> int
+    val equal : t -> t -> bool
+  end
+
 module Make (H : Hashtbl.HashedType) : S with type data = H.t