sig
  type t
  val compare : Tyvar.t -> Tyvar.t -> int
  val pp : Format.formatter -> Tyvar.t -> unit
  val nth : int -> Tyvar.t
  val from_rope : Ulib.Text.t -> Tyvar.t
  val to_rope : Tyvar.t -> Ulib.Text.t
end