Module Id

module Id: sig .. end

type id_gen 

val create : int -> id_gen

val init : id_gen -> int -> unit

val next : id_gen -> int

val top : id_gen -> int