MigrateIo.table.walk.level.path: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend as MigrateIo
Lines 225-240 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=225&end_line=240

import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/legacy/ManifestIo.bend as LegacyManifestIo
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable

def table.walk.level.path(
  indices: Nat & Nat,
  lock: DbLock.Lock,
  read_path: String,
  release_path: String,
  names: List<&2, String>,
  levels: List<&2, List<&2, String>>,
  total_bytes: Nat,
  entries: Nat,
  records: List<&2, MemTable.Entry>
) -> LegacyTableWalk:
  match indices:
    case (lookup_index, next_index):
      LegacyPath{lock, read_path, release_path,
        LegacyManifestIo.ldir_of(lookup_index), names, levels, next_index,
        total_bytes, entries, records}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/legacy/ManifestIo.bend&name=ldir_of
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend&name=LegacyTableWalk