Module Env.Ty_var

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