X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=uid.ml;fp=uid.ml;h=bb0fb180724e7fa2225f4fcb900d39453c0e1944;hb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;hp=0000000000000000000000000000000000000000;hpb=ded94d764331b3ff91f9d5748ec257df4f9d36a7;p=SXSI%2Fxpathcomp.git

diff --git a/uid.ml b/uid.ml
new file mode 100644
index 0000000..bb0fb18
--- /dev/null
+++ b/uid.ml
@@ -0,0 +1,8 @@
+type t = int
+
+let _id = ref ~-1
+
+let make () = incr _id; !_id
+
+external to_int : t -> int = "%identity"
+