Restore.footer.expected_prefix: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore
Lines 288-291 of mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend&start_line=288&end_line=291

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

def footer.expected_prefix(entry_count: Nat, block_count: Nat) -> Bytes.Bytes:
  Bytes.concat([footer.magic(),
    Bytes.set.u32be(Bytes.new(4), 0, U32.from_nat(entry_count)),
    Bytes.set.u32be(Bytes.new(4), 0, U32.from_nat(block_count))])

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=concat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=new
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=set.u32be
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend&name=footer.magic