终止类型