sig
  type 'a t = 'a Core.Std.Or_error.t Deferred.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 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 return : 'ok -> 'ok Async_or_error.t
  val fail : Core.Std.Error.t -> 'a Async_or_error.t
  val of_exn : exn -> 'a Async_or_error.t
  val failwith : string -> 'a Async_or_error.t
  val ok_unit : unit Async_or_error.t
  val never : unit -> 'a Async_or_error.t
  val try_with :
    ?name:string -> f:('arg -> 'a Deferred.t) -> 'arg -> 'a Async_or_error.t
  val try_with_join :
    ?name:string ->
    f:('arg -> 'a Async_or_error.t) -> 'arg -> 'a Async_or_error.t
  module List :
    sig
      val fold : 'a list -> init:'b -> f:('b -> 'a -> 'b t) -> 'b t
      val init :
        ?how:Deferred_intf.how -> int -> f:(int -> 'a t) -> 'a list t
      val iter :
        ?how:Deferred_intf.how -> 'a list -> f:('a -> unit t) -> unit t
      val map :
        ?how:Deferred_intf.how -> 'a list -> f:('a -> 'b t) -> 'b list t
      val filter :
        ?how:Deferred_intf.how -> 'a list -> f:('a -> bool t) -> 'a list t
      val filter_map :
        ?how:Deferred_intf.how ->
        'a list -> f:('a -> 'b option t) -> 'b list t
      val all : 'a t list -> 'a list t
      val all_unit : unit t list -> unit t
    end
  val ounit_tests : unit -> OUnit.test
end