sig
type
a
val
eq :
Eq
.
Eq
.a
->
Eq
.
Eq
.a
->
bool
end