sig
  type 'a t = ('a, Core.Std.Exn.t) Core.Std.Result.t
  val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t
  val ( >>| ) : 'a t -> ('a -> 'b) -> 'b t
  module Monad_infix :
    sig
      val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t
      val ( >>| ) : 'a t -> ('a -> 'b) -> 'b t
    end
  val bind : 'a t -> ('a -> 'b t) -> 'b t
  val return : 'a -> 'a t
  val map : 'a t -> f:('a -> 'b) -> 'b t
  val join : 'a t t -> 'a t
  val ignore : 'a t -> unit t
  val all : 'a t list -> 'a list t
  val all_ignore : unit t list -> unit t
  val try_with : f:('arg -> 'res) -> 'arg -> 'res Or_exn.t
  val try_with_bind : f:('arg -> 'res Or_exn.t) -> 'arg -> 'res Or_exn.t
  val failwith : string -> 'a Or_exn.t
  module Infix :
    sig
      val ( >>|? ) : 'a Or_exn.t -> ('a -> 'b) -> 'b Or_exn.t
      val ( >>=? ) : 'a Or_exn.t -> ('a -> 'b Or_exn.t) -> 'b Or_exn.t
      val ( >>|! ) : 'a Or_exn.t -> ('a -> 'b) -> 'b
      val ( >>=! ) : 'a Or_exn.t -> ('a -> 'b Or_exn.t) -> 'b
    end
  val ounit_tests : unit -> OUnit.test
end