module Id: sig .. end
sig
end
type id_gen
val create : int -> id_gen
int -> id_gen
val init : id_gen -> int -> unit
id_gen -> int -> unit
val next : id_gen -> int
id_gen -> int
val top : id_gen -> int