类型

(-> 真假型 空值型)

描述

断言条件为假。如果条件为真，则报错。

例子

(断言非 (相等 1 2))
(断言非 (整数小于 2 1))