sig
  type +'a t
  val create : ('a Ivar.ivar -> unit) -> 'a Ivar.Deferred.t
  val peek : 'a Ivar.Deferred.t -> 'a option
  val is_determined : 'a Ivar.Deferred.t -> bool
  val return : 'a -> 'a Ivar.Deferred.t
  val upon : 'a Ivar.Deferred.t -> ('a -> unit) -> unit
  val upon' : 'a Ivar.Deferred.t -> ('a -> unit) -> Unregister.t
  val bind :
    'a Ivar.Deferred.t -> ('a -> 'b Ivar.Deferred.t) -> 'b Ivar.Deferred.t
  val install_removable_handler :
    'a Ivar.Deferred.t -> 'a Raw_handler.t -> Unregister.t
  val sexp_of_t :
    ('a -> Sexplib.Sexp.t) -> 'a Ivar.Deferred.t -> Sexplib.Sexp.t
end