def start.count

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursor.bend:40

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

40def start.count(
41  cursor: Maybe<&1, VisibleCursor.Cursor>,
42  entries: U32 & U32,
43  block_count: U32,
44  header: Bytes.Bytes
45) -> Step:
46  match entries:
47    case (entry_count, expected):
48      start.ready(cursor, entry_count, U32.to_nat(expected),
49        block_count, header)