trace_private_util
Trace_private_util.B_queue
Basic Blocking Queue
trace
trace.core
trace.private
type 'a t
val create : unit -> _ t
exception Closed
val push : 'a t -> 'a -> unit
push q x pushes x into q, and returns ().
push q x
x
q
()
Closed
if close q was previously called.
close q
val pop_all : 'a t -> 'a list
pop_all bq returns all items presently in bq, in the same order, and clears bq. It blocks if no element is in bq.
pop_all bq
bq
val close : _ t -> unit
Close the queue, meaning there won't be any more push allowed.
push