Store_properties.Batch
type 'a t
val batch : Perms.read t -> ([ Perms.read | Perms.write ] t -> 'a Lwt.t) -> 'a Lwt.t
batch t f applies the writes in f in a separate batch. The exact guarantees depend on the implementation.
batch t f
f