BackupCursor.start.owner: 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 76-78 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=76&end_line=78 import Base import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup # Initializes the same bounded encoder without a local cursor handle. def start.owner(entry_count: Nat) -> Step: start.counts(None{}, Backup.nat.duplicate.pair(entry_count)) Uses (5): 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=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=Step https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=start.counts