sig
type
'
a t
val
equal :
'
a
Equal
.equal
->
'
a
Equal
.
S1
.t
Equal
.equal
end