Skip to main content

lock_free_stack_ty

oxilean_std::data_structures::functions

Function lock_free_stack_ty 

Source 
pub fn lock_free_stack_ty() -> Expr
Expand description

LockFreeStack α : Type 0 — lock-free Treiber stack.