def table.walk.start.paths

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:329

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

329def table.walk.start.paths(
330  paths: String & String,
331  lock: DbLock.Lock,
332  release_path: String,
333  measured: List<&2, List<&2, String>> & Nat
334) -> IO(TableValidation):
335  match paths:
336    case (read_path, _):
337      match measured:
338        case (levels, _):
339          table.walk.go(4194305n, LegacyLevels{lock, read_path,
340            release_path, levels, 0n, 0n, 0n, Nil{}})