Module Raw_deferred

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 peek : ('a, 'b) t -> 'a option

module Scheduler_dependent: 
functor (Scheduler : Import.Basic_scheduler) -> 
functor (Deferred : Raw 
     with type execution_context := Scheduler.Execution_context.t 
     with type ('a, 'execution_context) raw := ('a, 'execution_context) t) -> 
functor (Ivar : Raw 
     with type execution_context := Scheduler.Execution_context.t 
     with type ('a, 'execution_context) raw := ('a, 'execution_context) Raw_ivar.t) -> sig .. end

val sexp_of_t : ('a -> Sexplib.Sexp.t) ->
       ('execution_context -> Sexplib.Sexp.t) ->
       ('a, 'execution_context) t -> Sexplib.Sexp.t