extern ::std::string Trans_Mangle(const ::HIR::GenericPath& path);
extern ::std::string Trans_Mangle(const ::HIR::Path& path);
extern ::std::string Trans_Mangle(const ::HIR::TypeRef& ty);