BackupCursor.finish: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend as BackupCursor
Lines 282-291 of mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&start_line=282&end_line=291

import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup

# Rejects early cursor end; emits a final partial block before the footer.
def finish(stream: Stream) -> Step:
  match stream:
    case Stream{CursorBlocks{}, cursor, pending, pending_count, seen, expected,
        entry_count, block_count, block_index}:
      finish.copied(cursor, pending, pending_count,
        Backup.nat.duplicate.pair(seen),
        Backup.nat.duplicate.pair(expected),
        entry_count, block_count, block_index)
    case Stream{_, cursor, _, _, _, _, _, _, _}: Failure{cursor, Backup.CodecFailure{}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=nat.duplicate.pair
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=finish.copied