Safety commit

[SXSI/xpathcomp.git] / uid.ml

diff --git a/uid.ml b/uid.ml
new file mode 100644 (file)
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"
+