def restore.finish.order

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

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

751def restore.finish.order(
752  input: Bytes.Bytes,
753  +offset: Nat,
754  +entry_count: U32,
755  +block_count: U32,
756  entries: List<&1, ByteMemTable.Entry>,
757  ordered: Bool
758) -> Result<&1, &1, Error, Decoded>:
759  match ordered:
760    case False{}: Fail{InvalidOrder{}}
761    case True{}:
762      footer.checked.checksum(entries,
763        footer.valid(input, U32.from_nat(offset), U32.to_nat(entry_count),
764          U32.to_nat(block_count)))