sig
  type ('a, 'execution_context) t = ('a, 'execution_context) Raw_deferred.t
  type ('a, 'execution_context) deferred = ('a, 'execution_context) t
  val of_ivar :
    ('a, 'execution_context) Raw_ivar.t -> ('a, 'execution_context) t
  val peek : ('a, 'b) t -> 'a option
  module Scheduler_dependent :
    functor (Scheduler : Import.Basic_scheduler) ->
      functor
        (Deferred : sig
                      type 'a t
                      val of_raw :
                        ('a, Scheduler.Execution_context.t) t -> 'a t
                      val to_raw :
                        'a t -> ('a, Scheduler.Execution_context.t) t
                    end) ->
        functor
          (Ivar : sig
                    type 'a t
                    val of_raw :
                      ('a, Scheduler.Execution_context.t) Raw_ivar.t -> 'a t
                    val to_raw :
                      'a t -> ('a, Scheduler.Execution_context.t) Raw_ivar.t
                  end) ->
          sig
            type 'a t = 'a Deferred.t
            val create : ('a Ivar.t -> unit) -> 'a t
            val peek : 'a t -> 'a option
            val is_determined : 'a t -> bool
            val return : 'a -> 'a t
            val upon : 'a t -> ('a -> unit) -> unit
            val upon' : 'a t -> ('a -> unit) -> Unregister.t
            val bind : 'a t -> ('a -> 'b t) -> 'b t
            val install_removable_handler :
              'a t ->
              ('a, Scheduler.Execution_context.t) Raw_handler.t ->
              Unregister.t
            val of_raw : ('a, Scheduler.Execution_context.t) deferred -> 'a t
            val to_raw : 'a t -> ('a, Scheduler.Execution_context.t) deferred
            val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
          end
  val sexp_of_t :
    ('a -> Sexplib.Sexp.t) ->
    ('execution_context -> Sexplib.Sexp.t) ->
    ('a, 'execution_context) t -> Sexplib.Sexp.t
  val ounit_tests : unit -> OUnit.test
end