def recover.at

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:52

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

52def recover.at(
53  file: File,
54  +size: Nat,
55  +offset: Nat,
56  table: ByteMemTable.Table
57) -> RecoveryState:
58  At{file, size, offset, table, Nat.is_eq(offset, size),
59    Nat.is_le(Nat.add(offset, 4n), size)}