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