类型

(-> 真假型 空值型)

描述

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

例子

(断言 (相等 1 1))
(断言 (整数大于 2 1))