module New_id() : sig
  type t = private int
  val t : int -> t
  val int : t -> int
end = struct
  type t = int
  let t x = x
  let int x = x
 end

module Id1 = New_id()
module Id2 = New_id()