An annotation that defines an external name for a definition. If antargetName(extname) annotation is given for a method or some other definition, its implementation will use the nameextname instead of the regular name.