类型

(泛型 (甲 乙) (-> 甲 乙 空值型))

描述

断言两个值不相等。如果相等，则报错。

例子

(断言不等 1 2)
(断言不等 "a" "b")