def restore.finish.size.valid

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

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

791def restore.finish.size.valid(
792  input: Bytes.Bytes,
793  +offset: Nat,
794  entry_count: U32,
795  block_count: U32,
796  reversed: List<&1, ByteMemTable.Entry>,
797  valid: Bool
798) -> Result<&1, &1, Error, Decoded>:
799  match valid:
800    case False{}: Fail{InvalidFormat{}}
801    case True{}:
802      restore.finish.footer(input, offset, entry_count, block_count,
803        List.reverse(&1, ByteMemTable.Entry, reversed))