Module Raw_ivar

module Raw_ivar: sig .. end

module Handler: sig .. end

type ('a, 'execution_context) t 

type ('a, 'execution_context) ivar = ('a, 'execution_context) t 

include Invariant.S2

val create : unit -> ('a, 'b) t

val peek : ('a, 'b) t -> 'a option

val is_empty : ('a, 'b) t -> bool

val is_full : ('a, 'b) t -> bool

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

val debug_space_leaks : int option Pervasives.ref

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