BackupCursor.footer: 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 231-243 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=231&end_line=243

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

# Emits the checksum footer while retaining only terminal cursor state.
def footer(
  cursor: Maybe<&1, VisibleCursor.Cursor>,
  seen: Nat,
  expected: Nat,
  entry_count: U32,
  block_count: U32,
  block_index: U32
) -> Step:
  footer.counts(cursor, seen, expected,
    Backup.u32.duplicate.pair(entry_count),
    Backup.u32.duplicate.pair(block_count),
    Backup.u32.duplicate.pair(block_index))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=u32.duplicate.pair
  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=footer.counts