Brassaia_eio.Atomic_write
module type S = Atomic_write_intf.S
module type Maker = Atomic_write_intf.Maker
module Check_closed_store (AW : S) : sig ... end
module Check_closed (M : Maker) : Maker