sig
val
( >|= ) :
'
b
CCEqual
.t
->
(
'
a
->
'
b)
->
'
a
CCEqual
.t
end