Module Raw_tail.Deferred

module Deferred: Raw_deferred

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