sig
  type t = Types.tnvar
  val compare : Types.TNvar.t -> Types.TNvar.t -> int
  val pp : Format.formatter -> Types.TNvar.t -> unit
end