Module AtomicMarkableReference

module AtomicMarkableReference: sig .. end

type 'a t 
type mark = bool 
val make : 'a -> mark -> 'a t
val attempt_mark : 'a t -> 'a -> mark -> bool
val compare_and_set : 'a t ->
'a ->
'a -> mark -> mark -> bool
val get : 'a t -> 'a * mark
val get_reference : 'a t -> 'a
val is_marked : 'a t -> bool
val set : 'a t -> 'a -> mark -> unit
val weak_compare_and_set : 'a t ->
'a ->
'a -> mark -> mark -> bool