src/uid.ml

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