Module Env.Term_var

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