Module Env.Ty_var

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