def table.finished
import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend as MigrateIoimport Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
122def table.finished(
123 lock: DbLock.Lock,
124 path: String,
125 result: Result<&1, &1, Error, Nat & Nat>
126) -> IO(TableValidation):
127 IO.pure(TableValidation, table.validation(lock, path, result))