·基迪夫

终止程序

类型

基迪夫:(->布尔)->F  

简介

基迪夫p

说明

基迪夫是一个标识fudget,它在出现消息时终止程序收到满足给定谓词的条件。

输入

任何类型

输出

通过未更改的输入

论据

p::->布尔
测试输入的谓词。输入通过通过不变,如果p x.

另请参见

相关的谎言:退出按钮,按钮,基夫.