接口gen:Eq
接口
gen:Eq
procedure(eq:= a b) → boolean? a : Eq? b : Eq?
procedure(eq:= a b) → boolean?
procedure
(eq:= a b) → boolean?
procedure(Eq? a) → boolean? a : any/c
procedure(Eq? a) → boolean?
(Eq? a) → boolean?
procedure(= a b) → boolean? a : Eq? b : Eq?
procedure(= a b) → boolean?
(= a b) → boolean?
procedure(/= a b) → boolean? a : Eq? b : Eq?
procedure(/= a b) → boolean?
(/= a b) → boolean?