sig
  type 'a t = 'a Lazy_deferred.t
  val create : (unit -> 'a Deferred.t) -> 'a t
  val force : 'a t -> ('a, exn) Core.Std.Result.t Deferred.t
  val force_exn : 'a t -> 'a Deferred.t
  val wait : 'a t -> ('a, exn) Core.Std.Result.t Deferred.t
  val wait_exn : 'a t -> 'a 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 bind' : 'a t -> ('a -> 'b Deferred.t) -> 'b t
  val follow : 'a t -> ('a -> 'b Deferred.t) -> 'b t
  val peek : 'a t -> ('a, exn) Core.Std.Result.t option
  val peek_exn : 'a t -> 'a option
  val is_determined : 'a t -> bool
  val is_forced : 'a t -> bool
end