查找C#提案文档中所用元语法的名称及规范

该提案文档采用**扩展巴科斯-瑙尔范式（Extended Backus-Naur Form, EBNF）**作为描述特性语法的元语法，这套语法规则与C#官方语言规范（ECMA-334）中使用的元语法保持一致。

核心规范要点： #

• 语法规则以非终结符开头，后跟:，再列出该非终结符的所有可能推导形式
• 用单引号包裹的内容为终结符（如'union'、'partial'）
• 后缀?表示对应元素为可选（如attributes?代表属性列表可省略）
• 竖线|用于分隔多个可选推导分支（提案中复杂语法规则会用到该符号）
• 每条语法规则以分号;结尾

例如文档中定义联合类型的核心语法：

union_type
    : attributes? 'partial'? 'union' type_parameter_list? type_base? type_body
    ;

内容的提问来源于stack exchange，提问作者Dantte