MigrateIo.LegacyTableWalk: type of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend as MigrateIo
Lines 41-66 of mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend&start_line=41&end_line=66

import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable
import mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend as SstReadPolicy

# Carries one legacy SST through size admission, decoding, and entry counting.
type LegacyTableWalk is Type:
  LegacyLevels{lock: DbLock.Lock, read_path: String, release_path: String,
    levels: List<&2, List<&2, String>>, index: Nat, total_bytes: Nat,
    entries: Nat, records: List<&2, MemTable.Entry>}
  LegacyPath{lock: DbLock.Lock, read_path: String, release_path: String,
    ldir: Maybe<&2, String>, names: List<&2, String>,
    levels: List<&2, List<&2, String>>, index: Nat, total_bytes: Nat,
    entries: Nat, records: List<&2, MemTable.Entry>}
  LegacyNames{lock: DbLock.Lock, read_path: String, release_path: String,
    levels: List<&2, List<&2, String>>, index: Nat, dir: String,
    names: List<&2, String>, total_bytes: Nat, entries: Nat,
    records: List<&2, MemTable.Entry>}
  LegacySize{lock: DbLock.Lock, read_path: String, release_path: String,
    levels: List<&2, List<&2, String>>, index: Nat, dir: String,
    name: String, names: List<&2, String>, total_bytes: Nat, entries: Nat,
    result: Result<&1, &1, U32 & String, Nat>, records: List<&2, MemTable.Entry>}
  LegacyBudget{lock: DbLock.Lock, read_path: String, release_path: String,
    levels: List<&2, List<&2, String>>, index: Nat, dir: String,
    name: String, names: List<&2, String>, entries: Nat,
    decision: SstReadPolicy.TotalDecision, records: List<&2, MemTable.Entry>}
  LegacyRead{lock: DbLock.Lock, read_path: String, release_path: String,
    levels: List<&2, List<&2, String>>, index: Nat, dir: String,
    names: List<&2, String>, total_bytes: Nat, entries: Nat,
    result: Result<&1, &1, U32 & String, Sstable.Table>,
    records: List<&2, MemTable.Entry>}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/DbLock.bend&name=Lock
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/MemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstReadPolicy.bend&name=TotalDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Sstable.bend&name=Table