def restore.block.magic.valid

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

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

584def restore.block.magic.valid(
585  input: Bytes.Bytes,
586  +offset: Nat,
587  expected_index: U32,
588  valid: Bool
589) -> Result<&1, &1, Error, BlockHeader>:
590  match valid:
591    case False{}: Fail{InvalidFormat{}}
592    case True{}:
593      restore.block.index.valid(Bytes.get.u32be(input,
594        U32.from_nat(Nat.add(offset, 4n))), offset, expected_index)