布尔型函数怎么定义的