module AtomicMarkableReference:sig..end
type 'a t
typemark =bool
val make : 'a -> mark -> 'a tval attempt_mark : 'a t -> 'a -> mark -> boolval compare_and_set : 'a t ->
'a ->
'a -> mark -> mark -> boolval get : 'a t -> 'a * markval get_reference : 'a t -> 'aval is_marked : 'a t -> boolval set : 'a t -> 'a -> mark -> unitval weak_compare_and_set : 'a t ->
'a ->
'a -> mark -> mark -> bool