module Raw_deferred:sig
..end
type (+'a, 'execution_context)
t
type('a, 'execution_context)
deferred =('a, 'execution_context) t
val of_ivar : ('a, 'execution_context) Raw_ivar.t ->
('a, 'execution_context) t
val create : (('a, 'execution_context) Raw_ivar.t -> unit) ->
('a, 'execution_context) t
val peek : ('a, 'b) t -> 'a option
val is_determined : ('a, 'b) t -> bool
val return : 'a -> ('a, 'b) t
module Scheduler_dependent(
Scheduler
:
Import.Basic_scheduler
)
:sig
..end