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

diff --git a/src/uid.mli b/src/uid.mli
new file mode 100644
index 0000000..e99442c
--- /dev/null
+++ b/src/uid.mli
@@ -0,0 +1,5 @@
+type t = private int
+val make_maker : unit -> (unit -> t) * (unit -> t) * (t -> unit)
+val dummy : t
+external to_int : t -> int = "%identity"
+external of_int : int -> t = "%identity"