Brassaia_index.ChecksOffline integrity checking and recovery for Index stores.
type nonrec empty = Checks_intf.emptymodule type S = Checks_intf.Smodule type Platform_args = Checks_intf.Platform_argsmodule Make (K : Data.Key) (V : Data.Value) (_ : Platform_args) : S