sig
  type 'a t
  val fresh : unit -> 'a Record.Polid.t
  type ('a, 'b) equal =
      Equal : ('a, 'a) Record.Polid.equal
    | Different : ('a, 'b) Record.Polid.equal
  val equal :
    'a Record.Polid.t -> 'b Record.Polid.t -> ('a, 'b) Record.Polid.equal
  val to_int : 'a Record.Polid.t -> int
  val is_equal : 'a Record.Polid.t -> 'b Record.Polid.t -> bool
end