Module Term.Var

type t = term_var
val ty : t -> Ty.t
val equal : t -> t -> bool