类型

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

描述

断言两个值相等（使用 相等 比较）。如果不相等，则报错。

例子

(断言相等 1 1)
(断言相等 "hello" "hello")