def frame.verify.finish
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Walimport Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
427def frame.verify.finish(
428 cursor: Bytes.Cursor,
429 claimed: Bytes.Bytes,
430 records: List<&2, Mut>
431) -> Result<&1, &1, Error, Batch>:
432 match cursor:
433 case Bytes.Cursor{bytes, +pos, _, +end}:
434 frame.verify.end(U32.is_eq(pos, end), bytes, claimed, records, end)