Brassaia_eio_pack_io.Atomic_writeinclude module type of Brassaia_eio_pack_io.Import.Brassaia_pack.Atomic_writeinclude Brassaia_eio_pack.Atomic_write_intf.Sigsmodule type S = Brassaia_eio_pack.Brassaia_pack.Atomic_write.Smodule type Persistent =
Brassaia_eio_pack.Brassaia_pack.Atomic_write.Persistentmodule Value = Brassaia_eio_pack.Brassaia_pack.Atomic_write.Valuemodule Closeable = Brassaia_eio_pack.Brassaia_pack.Atomic_write.Closeablemodule Make_persistent
(K : Brassaia_eio_pack_io.Import.Brassaia.Type.S)
(V : Value.S) :
Persistent with type key = K.t and type value = V.t