Bpf.bpf_run.go: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf
Lines 321-342 of bend-osdev-bpf@0.1.0.0/bpf.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bpf@0.1.0.0/bpf.bend&start_line=321&end_line=342

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

def bpf_run.go(xs: List<&2, I.BpfOp>, cur: BpfStep, +inp: BpfInput) -> Result<&2, &2, I.BpfError, U32>:
  match xs:
    case Nil{}:
      match cur:
        case BpfNext{skip, st}:
          Fail{I.BpfErrFellOff{}}
        case BpfStop{v}:
          Done{v}
        case BpfFault{e}:
          Fail{e}
    case Con{op, t}:
      match cur:
        case BpfNext{skip, st}:
          match skip:
            case 0n:
              bpf_run.go(t, bpf_exec(op, st, inp), inp)
            case 1n+s:
              bpf_run.go(t, BpfNext{s, st}, inp)
        case BpfStop{v}:
          Done{v}
        case BpfFault{e}:
          Fail{e}

Uses (9):
  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=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/bpf.bend&name=BpfInput
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/bpf.bend&name=BpfStep
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/bpf.bend&name=bpf_exec
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfOp