？退出

终止程序

类型

quitIdF:（退出ID F）：(呵->布尔）->F类 呵 呵

简介

退出IdF p

描述

退出IdF是一个身份伪造程序，如果消息接收满足给定谓词的消息。

输入

任何类型

输出

传入的输入未更改

论据

第页::呵->布尔

测试输入的谓词。一个输入x个已通过通过不变，如果第x页是False（错误）.

另请参见

相关软糖：退出按钮F,按钮F,退出（quitF）.