Brassaia_eio.Storagemodule type S = Storage_intf.SS is a storage layer that can be used to build Brassaia stores.
module type Make = Storage_intf.MakeMake parameterizes a storage layer over a key Key and a value Value. This is the signature to implement when building custom storage for Brassaia.
module Read_only (M : Make) : Read_only.Makermodule Content_addressable (M : Make) : Content_addressable.Makermodule Append_only (M : Make) : Append_only.Makermodule Atomic_write (M : Make) : Atomic_write.Maker