package trace

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Trace_private_util.B_queue`Source

Basic Blocking Queue

Sourcetype 'a t

Sourceval create : unit -> _ t

Sourceexception Closed

Sourceval push : 'a t -> 'a -> unit

push q x pushes x into q, and returns ().

Sourceval 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.

Sourceval close : _ t -> unit

Close the queue, meaning there won't be any more push allowed.