Skip to main content

wait_free_queue_ty

oxilean_std::data_structures::functions

Function wait_free_queue_ty 

Source 
pub fn wait_free_queue_ty() -> Expr
Expand description

WaitFreeQueue α : Type 0 — wait-free queue (Kogan-Petrank).