sig
type
a =
Num
.num
val
eq : a
->
a
->
bool
end