Module Tac2typing_env.TVar

type t
val equal : t -> t -> bool
module Map : CSig.MapS with type key = t