pub fn wait_free_queue_ty() -> Expr
WaitFreeQueue α : Type 0 — wait-free queue (Kogan-Petrank).
WaitFreeQueue α : Type 0