Module Env.Ty_cst

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