X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=uid.mli;h=d8dcd882bea44d5bb457a5c307f5bd78bb85eaf6;hb=df5fdb22632be887ecd9f5c46a014e7e970148a2;hp=235869a85f109c13bc2145a03a2fd871e186761d;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;p=SXSI%2Fxpathcomp.git

diff --git a/uid.mli b/uid.mli
index 235869a..d8dcd88 100644
--- a/uid.mli
+++ b/uid.mli
@@ -1,3 +1,4 @@
 type t = private int
-val make : unit -> t
+val make_maker : unit -> (unit -> t)
 external to_int : t -> int = "%identity"
+external of_int : int -> t = "%identity"