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