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
      val sexp_of_t :
        ('a -> Sexplib.Sexp.t) ->
        ('execution_context -> Sexplib.Sexp.t) ->
        ('a, 'execution_context) t -> Sexplib.Sexp.t
      type ('a, 'execution_context) ivar = ('a, 'execution_context) t
      val equal : ('a, 'b) t -> ('a, 'b) t -> bool
      val create : unit -> ('a, 'b) t
      val create_full : 'a -> ('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) ->
          sig
            type 'a t = ('a, Scheduler.Execution_context.t) ivar
            val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
            type 'a detailed = 'a t
            val sexp_of_detailed :
              ('a -> Sexplib.Sexp.t) -> 'a detailed -> Sexplib.Sexp.t
            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
          end
      val debug_space_leaks : int option ref
      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 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 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