sig
val
( >>= ) : (
'
a,
'
b)
BatResult
.t
->
(
'
a
->
(
'
c,
'
b)
BatResult
.t)
->
(
'
c,
'
b)
BatResult
.t
end