Bpf.BpfStep: type of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf
Lines 41-46 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=41&end_line=46

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

# what an instruction leads to: skip some instructions and go on, answer,
# or fail
type BpfStep is Data:
  BpfNext{skip: Nat, st: BpfState}
  BpfStop{value: U32}
  BpfFault{error: I.BpfError}

Uses (4):
  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=bend-osdev-bpf@0.1.0.0/bpf.bend&name=BpfState
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfError