MigrateRunIo.migrate.paths: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend as MigrateRunIo
Lines 218-224 of mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&start_line=218&end_line=224

import Base

def migrate.paths(
  source_paths: String & String,
  destination_paths: String & String & String
) -> IO(Result<&1, &1, Error, Unit>):
  match source_paths:
    case (source_inspect, source_read):
      migrate.paths.destination(source_inspect, source_read, destination_paths)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend&name=migrate.paths.destination