Insn.BpfError: type of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/insn.bend as Insn
Lines 88-107 of bend-osdev-bpf@0.1.0.0/insn.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&start_line=88&end_line=107

import Base

# Every failure: decoding (BadCode, Truncated, StoredTooLong), validation
# (Empty to SeccompInsn), installing seccomp filters (PathTooLong), and
# running a program that was not validated (FellOff, BadScratch).
type BpfError is Data:
  BpfErrBadCode{pc: Nat, code: U32}
  BpfErrTruncated{len: Nat}
  BpfErrStoredTooLong{max: Nat}
  BpfErrEmpty{}
  BpfErrTooLong{len: Nat}
  BpfErrJump{pc: Nat}
  BpfErrJumpField{pc: Nat}
  BpfErrNoReturn{pc: Nat}
  BpfErrScratch{pc: Nat}
  BpfErrDivZero{pc: Nat}
  BpfErrMemInit{pc: Nat}
  BpfErrSeccompLoad{pc: Nat}
  BpfErrSeccompInsn{pc: Nat}
  BpfErrPathTooLong{total: Nat}
  BpfErrFellOff{}
  BpfErrBadScratch{k: U32}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32