Type段

    类型部分以 type 关键字开头。 它包含多个类型定义。 类型定义将类型绑定到名称。 类型定义可以是递归的，甚至可以是相互递归的。 相互递归类型只能在单个 type 部分中使用。 像 objects 或 enums 这样的标称类型只能在 type 部分中定义。