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