A lock-free multi-producer, single-consumer, thread-safe queue without support for cancellation. This makes a good data structure for a scheduler's run queue.
val create : unit -> 'a tcreate () is a new empty queue.
val push : 'a t -> 'a -> unitpush t x adds x to the tail of the queue. This can be used safely by multiple producer domains, in parallel with the other operations.
Closed if t is closed.
val push_head : 'a t -> 'a -> unitval pop : 'a t -> 'a optionpop t removes the head item from t and returns it. Returns None if t is currently empty.
Closed if t has been closed and is empty.
val is_empty : 'a t -> boolis_empty t is true if calling pop would return None.
Closed if t has been closed and is empty.
val close : 'a t -> unitclose t marks t as closed, preventing any further items from being pushed.