sig
type
t
val
equal :
Equal
.
S
.t
Equal
.equal
end