sig
  type ('a, 'b) t = ('a, 'b) Extlib.Std.result
  val catch : ('-> 'b) -> '-> ('b, exn) Extlib.Std.result
  val of_option : 'a option -> ('a, unit) Extlib.Std.result
  val to_option : ('a, 'b) Extlib.Std.result -> 'a option
  val bind :
    ('a, 'b) Extlib.Std.result ->
    ('-> ('c, 'b) Extlib.Std.result) -> ('c, 'b) Extlib.Std.result
  val ( >>= ) :
    ('a, 'b) Extlib.Std.result ->
    ('-> ('c, 'b) Extlib.Std.result) -> ('c, 'b) Extlib.Std.result
  val t_of_sexp :
    (Sexplib.Sexp.t -> 'a) ->
    (Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) t
  val sexp_of_t :
    ('-> Sexplib.Sexp.t) ->
    ('-> Sexplib.Sexp.t) -> ('a, 'b) t -> Sexplib.Sexp.t
end