帶標記型別的外部字串表示。
對於帶標記型別 T(特定或類範圍)的每個子型別 S
S'External_Tag 表示 S'Tag 的外部字串表示;它屬於預定義型別 String。External_Tag 可以透過 attribute_definition_clause 為特定帶標記型別指定;此類子句的表示式應為靜態的。預設外部標記表示由實現定義。
S’External_Tag return String