sig
  type ('a, 'b) t = ('a, 'b) BatStd.result
  val catch : ('a -> 'b) -> 'a -> ('b, exn) BatStd.result
  val of_option : 'a option -> ('a, unit) BatStd.result
  val to_option : ('a, 'b) BatStd.result -> 'a option
  val bind :
    ('a, 'b) BatStd.result ->
    ('a -> ('c, 'b) BatStd.result) -> ('c, 'b) BatStd.result
  val ( >>= ) :
    ('a, 'b) BatStd.result ->
    ('a -> ('c, 'b) BatStd.result) -> ('c, 'b) BatStd.result
end