6.1.1 精细类型定义