(* *)
(***********************************************************************)
-(*
- 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