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