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 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 fail : Core.Std.Error.t -> 'a Async_or_error.t
  val ok_exn : 'a Async_or_error.t -> 'a Deferred.t
  val of_exn : exn -> 'a Async_or_error.t
  val of_exn_result :
    ('a, exn) Core.Std.Result.t Deferred.t -> 'a Async_or_error.t
  val error : string -> 'a -> ('a -> Core.Std.Sexp.t) -> 'b Async_or_error.t
  val error_string : string -> 'a Async_or_error.t
  val unimplemented : string -> 'a Async_or_error.t
  val combine_errors : 'a Async_or_error.t list -> 'a list Async_or_error.t
  val combine_errors_unit :
    unit Async_or_error.t list -> unit Async_or_error.t
  val ok_unit : unit Async_or_error.t
  val try_with :
    ?extract_exn:bool ->
    ?name:string -> (unit -> 'a Deferred.t) -> 'a Async_or_error.t
  val try_with_join :
    ?extract_exn:bool ->
    ?name:string -> (unit -> 'a Async_or_error.t) -> 'a Async_or_error.t
  module List :
    sig
      val foldi : 'a list -> init:'b -> f:(int -> 'b -> 'a -> 'b t) -> 'b t
      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 iteri :
        ?how:Deferred_intf.how ->
        'a list -> f:(int -> '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 find : 'a list -> f:('a -> bool t) -> 'a option t
      val find_map : 'a list -> f:('a -> 'b option t) -> 'b option t
      val all : 'a t list -> 'a list t
      val all_unit : unit t list -> unit t
    end
end