9.4 类型声明

类型声明（使用关键字type）将标识符列表（类型名称）绑定到类型列表。有两种类型声明：别名声明和类型定义。