X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=hcons.mli;fp=hcons.mli;h=bc72d3360f4d0af2584e38b8e94c6b18bf15e7ef;hb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;hp=dcdcb69c26e26c45690da40285ac6400163235ea;hpb=ded94d764331b3ff91f9d5748ec257df4f9d36a7;p=SXSI%2Fxpathcomp.git

diff --git a/hcons.mli b/hcons.mli
index dcdcb69..bc72d33 100644
--- a/hcons.mli
+++ b/hcons.mli
@@ -5,20 +5,20 @@ 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
   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
   end