def restore.finish.footer.copies
mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:767
import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
767def restore.finish.footer.copies(
768 input: Bytes.Bytes,
769 +offset: Nat,
770 entry_count: U32,
771 block_count: U32,
772 copies: List<&1, ByteMemTable.Entry> & List<&1, ByteMemTable.Entry>
773) -> Result<&1, &1, Error, Decoded>:
774 match copies:
775 case (for_order, entries):
776 restore.finish.order(input, offset, entry_count, block_count, entries,
777 ByteMemTable.ordered.strict(for_order))