def table.validation
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
82def table.validation(
83 lock: DbLock.Lock,
84 path: String,
85 result: Result<&1, &1, Error, Nat & Nat>
86) -> TableValidation:
87 TableValidation{lock, path, result, Nil{}, Nil{}}