Validate.bpf_prepare.go: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/validate.bend as Validate
Lines 276-281 of bend-osdev-bpf@0.1.0.0/validate.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bpf@0.1.0.0/validate.bend&start_line=276&end_line=281

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

def bpf_prepare.go(opts: BpfValidateOptions, d: Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>) -> Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>:
  match d:
    case Fail{e}:
      Fail{e}
    case Done{+ops}:
      bpf_prepare.ok(bpf_validate_with(opts, ops), ops)

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=Result
  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
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/validate.bend&name=BpfValidateOptions
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/validate.bend&name=bpf_prepare.ok
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/validate.bend&name=bpf_validate_with