def checksum_decision

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:376

import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.3.2.0/src/Sstable.bend as Sstable

376def checksum_decision(equal: Bool, entries: List<&2, MemTable.Entry>, level: Nat) -> ParseResult:
377  match equal:
378    case False{}:
379      ParseRejected{ChecksumMismatch{}}
380    case True{}:
381      Parsed{Sstable.from_sorted_unique(List.reverse(&2, MemTable.Entry, entries), level)}