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