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