def footer.checked

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:334

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

334def footer.checked(
335  input: Bytes.Bytes,
336  offset: U32,
337  count: Nat,
338  block_count: Nat,
339  entries: List<&1, ByteMemTable.Entry>,
340  size_valid: Bool
341) -> Result<&1, &1, Error, Decoded>:
342  match size_valid:
343    case False{}: Fail{InvalidFormat{}}
344    case True{}:
345      footer.checked.checksum(entries, footer.valid(input, offset, count, block_count))