module AtomicStampedReference:sig..end
type 'a t
typestamp =int32
val make : 'a -> stamp -> 'a tval attempt_stamp : 'a t -> 'a -> stamp -> boolval compare_and_set : 'a t ->
'a ->
'a -> stamp -> stamp -> boolval get : 'a t -> 'a * stampval get_reference : 'a t -> 'aval get_stamp : 'a t -> stampval set : 'a t -> 'a -> stamp -> unitval weak_compare_and_set : 'a t ->
'a ->
'a -> stamp -> stamp -> bool