Mlsem_types.TVar
type t = Sstt.Var.t
val all_vars : kind -> TVarSet.t
val has_kind : kind -> t -> bool
val kind : t -> kind
val equal : t -> t -> bool
val compare : t -> t -> int
val name : t -> string
val prefix : t -> string
val mk : kind -> string option -> t
val pp : Stdlib.Format.formatter -> t -> unit
val typ : t -> Ty.t