sig
type
t
val
equal :
Intf
.
EQ
.t
->
Intf
.
EQ
.t
->
bool
end