MigrateIo.table.read.next: 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 152-169 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=152&end_line=169

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

def table.read.next(
  read: List<&2, MemTable.Entry> & Nat,
  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,
  prior_entries: Nat,
  prior_records: List<&2, MemTable.Entry>
) -> LegacyTableWalk:
  match read:
    case (table_entries, table_count):
      LegacyNames{lock, read_path, release_path, levels, index, dir,
        names, total_bytes, Nat.add(prior_entries, table_count),
        List.append(&2, MemTable.Entry, prior_records, table_entries)}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  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/transfer/MigrateIo.bend&name=LegacyTableWalk