def restore.finish.count.valid

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:806

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

806def restore.finish.count.valid(
807  input: Bytes.Bytes,
808  +offset: Nat,
809  entry_count: U32,
810  block_count: U32,
811  reversed: List<&1, ByteMemTable.Entry>,
812  +size: U32,
813  valid: Bool
814) -> Result<&1, &1, Error, Decoded>:
815  match valid:
816    case False{}: Fail{CountMismatch{}}
817    case True{}:
818      restore.finish.size.valid(input, offset, entry_count, block_count,
819        reversed, Nat.is_eq(Nat.add(offset, 44n), U32.to_nat(size)))