module ID = struct (** *) type t = int let create num = num let incr = ( + ) 1 let to_string = string_of_int let pp id = "ID=" ^ string_of_int id end