Mlsem_types.RVar
type t = Sstt.RowVar.t
val all_vars : kind -> RVarSet.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 row : t -> Mlsem_types__.Tvar.Row.t
val fty : t -> FTy.t