module AtomicMarkableReference:sig
..end
type 'a
t
typemark =
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