module T: sig
.. end
type 'execution_context
t = {
|
mutable state :'execution_context state ; |
}
type 'execution_context
state =
| |
Uninitialized |
| |
Aborted |
| |
Happened |
| |
Waiting of 'execution_context waiting |
type 'execution_context
waiting = {
|
event :'execution_context t Events.Event.t ; |
|
ready :([ `Aborted | `Happened ], 'execution_context) Raw_clock_event.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