ByteManifest.next.file.id.current.copies: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend as ByteManifest
Lines 145-149 of mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&start_line=145&end_line=149

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

def next.file.id.current.copies(copies: U32 & U32) -> FileIdDecision:
  match copies:
    case (next_id, max_check):
      next.file.id.current.result(next_id,
        U32.is_eq(max_check, u32.read(literal(Bytes.from_hex("ffffffff")))))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=from_hex
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&name=FileIdDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&name=literal
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&name=next.file.id.current.result
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteManifest.bend&name=u32.read