(* *)
(***********************************************************************)
+(*
+ Time-stamp: <Last modified on 2013-01-30 19:06:33 CET by Kim Nguyen>
+*)
+
(** This modules implements unique identifiers represented by integers *)
type t = private int