def footer.valid.copies
mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:299
import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
299def footer.valid.copies(
300 copies: Bytes.Bytes & Bytes.Bytes,
301 entry_count: Nat,
302 block_count: Nat
303) -> Bool:
304 match copies:
305 case (for_fields, for_digest):
306 equal(Bytes.eq(slice.result(Bytes.slice(for_fields, 0, 12)),
307 footer.expected_prefix(entry_count, block_count))) &&
308 footer.valid.digest(clone.split(for_digest))