X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=uid.mli;fp=uid.mli;h=d8dcd882bea44d5bb457a5c307f5bd78bb85eaf6;hb=92fa1dfd894ed2903541d665bd40919ae154f285;hp=235869a85f109c13bc2145a03a2fd871e186761d;hpb=53691cf70378877961b99828f006399801ad4968;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"