def walk.length.validated
import mylsm-lsm-store@0.6.0.1/src/transfer/LegacyWal.bend as LegacyWalimport Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
99def walk.length.validated(
100 cursor: Bytes.Cursor,
101 remaining: U32,
102 frames: Nat,
103 length: U32
104) -> WalkState:
105 walk.length.copies.for.cursor(cursor, remaining, frames,
106 walk.nat.clone.triple(U32.to_nat(length)))