module T : sig ... endinclude Tval sexp_of_t : a. ('a ‑> Base.Sexp.t) ‑> 'a t ‑> Base.Sexp.tval return : 'a ‑> 'a Async_kernel.Deferred.tval bind : 'a Async_kernel.Deferred.t ‑> f:('a ‑> 'b Async_kernel.Deferred.t) ‑> 'b Async_kernel.Deferred.tval map : 'a Async_kernel.Deferred.t ‑> f:('a ‑> 'b) ‑> 'b Async_kernel.Deferred.tval map : [> `Custom of 'a Async_kernel.Deferred.t ‑> f:('a ‑> 'b) ‑> 'b Async_kernel.Deferred.t ]include sig ... endmodule Monad_infix : sig ... endval return : 'a ‑> 'a T.tmodule Let_syntax : sig ... endval create : ('a Async_kernel.Ivar.t ‑> unit) ‑> 'a Async_kernel.Deferred.tval don't_wait_for : unit Async_kernel.Deferred.t ‑> unitval invariant : 'a Base__.Invariant_intf.inv ‑> 'a Async_kernel.Deferred.t Base__.Invariant_intf.invval is_determined : 'a Async_kernel.Deferred.t ‑> boolval never : unit ‑> 'a Async_kernel.Deferred.tval peek : 'a Async_kernel.Deferred.t ‑> 'a optionval unit : unit Async_kernel.Deferred.tval value_exn : 'a Async_kernel.Deferred.t ‑> 'aval upon : 'a Async_kernel.Deferred.t ‑> ('a ‑> unit) ‑> unitval both : 'a Async_kernel.Deferred.t ‑> 'b Async_kernel.Deferred.t ‑> ('a * 'b) Async_kernel.Deferred.tval ok : 'a Async_kernel.Deferred.t ‑> ('a, 'b) Core_kernel._result T.tval ignore : 'a Async_kernel.Deferred.t ‑> unit Async_kernel.Deferred.tval any : 'a Async_kernel.Deferred.t Core_kernel.List.t ‑> 'a T.tval any_unit : 'a Async_kernel.Deferred.t Core_kernel.List.t ‑> unit Async_kernel.Deferred.tmodule Infix : sig ... endval repeat_until_finished : 'a ‑> ('a ‑> [< `Finished of 'b | `Repeat of 'a ] Async_kernel.Deferred.t) ‑> 'b Async_kernel.Deferred.tmodule List : sig ... endval all_unit : unit Async_kernel.Deferred.t list ‑> unit Async_kernel.Deferred.tval all_ignore : unit Async_kernel.Deferred.t list ‑> unit Async_kernel.Deferred.t