与类型定义