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