类型:assume