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