module AtomicReference:sig..end
type 'a t
val make : 'a -> 'a tval compare_and_set : 'a t -> 'a -> 'a -> boolval get : 'a t -> 'aval get_and_set : 'a t -> 'a -> 'aval lazy_set : 'a t -> 'a -> unitval set : 'a t -> 'a -> unitval weak_compare_and_set : 'a t -> 'a -> 'a -> bool