def migrate.paths
import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateRunIo.bend as MigrateRunIoimport Base
218def migrate.paths(
219 source_paths: String & String,
220 destination_paths: String & String & String
221) -> IO(Result<&1, &1, Error, Unit>):
222 match source_paths:
223 case (source_inspect, source_read):
224 migrate.paths.destination(source_inspect, source_read, destination_paths)