Module `Env.Ty_var`

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

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