def walk.empty.checked

mylsm-lsm-store@0.6.0.1 · src/transfer/LegacyWal.bend:51

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

51# Separates an empty log suffix from the next frame-length transition.
52def walk.empty.checked(
53  cursor: Bytes.Cursor,
54  frames: Nat,
55  copies: Nat & Nat
56) -> WalkState:
57  match copies:
58    case (for_check, retained):
59      EmptyChecked{cursor, retained, frames, Nat.is_eq(for_check, 0n)}