Module Env.Term_var

val bind : t -> term_var -> t
val name : t -> term_var -> Dolmen_std.Name.t