Module `Env.Ty_cst`

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

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