Ident.Gen
type ident = t
type t = {
mutable next : int;
}
val create : unit -> t
val get_fresh : t -> ident