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

diff --git a/hcons.mli b/hcons.mli
index bc72d33..888531e 100644
--- a/hcons.mli
+++ b/hcons.mli
@@ -7,6 +7,9 @@ module type SA =
     val hash : t -> int
     val uid : t -> Uid.t
     val equal : t -> t -> bool
+
+      
+    val with_id : Uid.t -> t
   end
 
 module type S =
@@ -20,6 +23,9 @@ module type S =
     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