def table.validation.records

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

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

89def table.validation.records(
90  lock: DbLock.Lock,
91  path: String,
92  result: Result<&1, &1, Error, Nat & Nat>,
93  records: List<&2, MemTable.Entry>
94) -> TableValidation:
95  TableValidation{lock, path, result, records, Nil{}}