Module `Env.Term_var`

val bind : t -> Expr.term_var -> t

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