X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fuid.ml;fp=src%2Fuid.ml;h=906485d5e1bf01fde481d0e1296546564dad8486;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/src/uid.ml b/src/uid.ml
new file mode 100644
index 0000000..906485d
--- /dev/null
+++ b/src/uid.ml
@@ -0,0 +1,14 @@
+type t = int
+
+let make_maker () =
+  let _id = ref ~-1 in
+    ((fun () -> incr _id;!_id),
+     (fun () -> !_id),
+     (fun i -> _id := i))
+
+let dummy = -1
+
+external to_int : t -> int = "%identity"
+
+
+external of_int : int -> t= "%identity"