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