Insn.BpfRval.encode: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/insn.bend as Insn
Lines 185-190 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=185&end_line=190

import Base

def BpfRval.encode(r: BpfRval) -> BpfRaw:
  match r:
    case BpfRetK{k}:
      BpfRaw{6, 0, 0, k}
    case BpfRetA{}:
      BpfRaw{22, 0, 0, 0}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfRaw
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfRval