sig
  module Ivar :
    sig
      module Handler :
        sig
          type ('a, 'execution_context) t =
              ('a, 'execution_context) Raw_ivar.Handler.t
        end
      type ('a, 'execution_context) t = ('a, 'execution_context) Raw_ivar.t
      type ('a, 'execution_context) ivar = ('a, 'execution_context) t
      val invariant :
        'a Core.Std.Invariant.inv ->
        'b Core.Std.Invariant.inv -> ('a, 'b) t Core.Std.Invariant.inv
      val create : unit -> ('a, 'b) t
      val peek : ('a, 'b) t -> 'a option
      val is_empty : ('a, 'b) t -> bool
      val is_full : ('a, 'b) t -> bool
      module Scheduler_dependent :
        functor (Scheduler : Import.Basic_scheduler) ->
          functor
            (Ivar : sig
                      type 'a t
                      val of_raw :
                        ('a, Scheduler.Execution_context.t) ivar -> 'a t
                      val to_raw :
                        'a t -> ('a, Scheduler.Execution_context.t) ivar
                    end) ->
            sig
              type 'a t = 'a Ivar.t
              val equal : 'a t -> 'a t -> bool
              val create : unit -> 'a t
              val create_full : 'a -> 'a t
              val peek : 'a t -> 'a option
              val is_empty : 'a t -> bool
              val is_full : 'a t -> bool
              val connect : bind_result:'a t -> bind_rhs:'a t -> unit
              val fill : 'a t -> 'a -> unit
              val install_removable_handler :
                'a t ->
                ('a, Scheduler.Execution_context.t) Raw_handler.t ->
                Unregister.t
              val upon : 'a t -> ('a -> unit) -> unit
              val upon' : 'a t -> ('a -> unit) -> Unregister.t
              val of_raw : ('a, Scheduler.Execution_context.t) ivar -> 'a t
              val to_raw : 'a t -> ('a, Scheduler.Execution_context.t) ivar
              val sexp_of_t :
                ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
            end
      val debug_space_leaks : int option ref
      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
  module T :
    sig
      type 'execution_context t =
        'execution_context Raw_clock_event.T.t = {
        mutable state : 'execution_context state;
      }
      and 'execution_context state =
        'execution_context Raw_clock_event.T.state =
          Uninitialized
        | Aborted
        | Happened
        | Waiting of 'execution_context waiting
      and 'execution_context waiting =
        'execution_context Raw_clock_event.T.waiting = {
        event : 'execution_context t Core.Std.sexp_opaque Events.Event.t;
        ready : ([ `Aborted | `Happened ], 'execution_context) Ivar.t;
      }
      val sexp_of_t :
        ('execution_context -> Sexplib.Sexp.t) ->
        'execution_context t -> Sexplib.Sexp.t
      val sexp_of_state :
        ('execution_context -> Sexplib.Sexp.t) ->
        'execution_context state -> Sexplib.Sexp.t
      val sexp_of_waiting :
        ('execution_context -> Sexplib.Sexp.t) ->
        'execution_context waiting -> Sexplib.Sexp.t
    end
  type 'execution_context t =
    'execution_context T.t = {
    mutable state : 'execution_context state;
  }
  and 'execution_context state =
    'execution_context T.state =
      Uninitialized
    | Aborted
    | Happened
    | Waiting of 'execution_context waiting
  and 'execution_context waiting =
    'execution_context T.waiting = {
    event : 'execution_context t Core.Std.sexp_opaque Events.Event.t;
    ready : ([ `Aborted | `Happened ], 'execution_context) Ivar.t;
  }
  val sexp_of_t :
    ('execution_context -> Sexplib.Sexp.t) ->
    'execution_context t -> Sexplib.Sexp.t
  val sexp_of_state :
    ('execution_context -> Sexplib.Sexp.t) ->
    'execution_context state -> Sexplib.Sexp.t
  val sexp_of_waiting :
    ('execution_context -> Sexplib.Sexp.t) ->
    'execution_context waiting -> Sexplib.Sexp.t
  val ounit_tests : unit -> OUnit.test
end