Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lockfree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Classic multi-producer multi-consumer Treiber stack. Robust and flexible. Recommended starting point when needing LIFO structure.
val create : unit -> 'a tcreate creates an empty Treiber stack.
val is_empty : 'a t -> boolis_empty checks whether stack is empty.
val push : 'a t -> 'a -> unitpush inserts element into the stack.
val pop : 'a t -> 'a optionpop removes the youngest element from the stack (if any).