cherry pick from local- branch

[SXSI/xpathcomp.git] / hcons.mli

diff --git a/hcons.mli b/hcons.mli
index dcdcb69..888531e 100644 (file)
--- a/hcons.mli
+++ b/hcons.mli
@@ -5,21 +5,27 @@ module type SA =
     val make : data -> t
     val node : t -> data
     val hash : t -> int
-    val uid : 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 : int;
-                      key : int;
+    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 -> 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