Check.big.prog: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/check.bend as Check
Lines 112-118 of bend-osdev-bpf@0.1.0.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bpf@0.1.0.0/check.bend&start_line=112&end_line=118

import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I

# blocks 0 to j, the last ending in ret a (top is the last block's j)
def big.prog(n: Nat, +j: U32, +top: U32, acc: List<&2, I.BpfRaw>) -> List<&2, I.BpfRaw>:
  match n:
    case 0n:
      acc
    case 1n+p:
      big.prog(p, U32.sub(j, 1), top, big.block(j, U32.is_eq(j, top), acc))

Uses (7):
  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
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/check.bend&name=big.block
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfRaw