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