3.3 Eq（相等比较）

8.12

接口
gen:Eq

相等接口。

procedure
(eq:= a b) → boolean?
a : Eq?
b : Eq?

gen:Eq最小实现。两者是否相等。

procedure
(Eq? a) → boolean?
a : any/c

是否是gen:Eq实例。

procedure
(= a b) → boolean?
a : Eq?
b : Eq?

判断相等。

procedure
(/= a b) → boolean?
a : Eq?
b : Eq?

判断不相等。

3.3.1	Eq定义
3.3.2	Eq操作