uid.ml

   1 type t = int
   2
   3 let make_maker () =
   4   let _id = ref ~-1 in
   5   fun () -> incr _id;!_id
   6
   7 external to_int : t -> int = "%identity"
   8
   9
  10 external of_int : int -> t= "%identity"