Bpf.bpf_mem.stx: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf
Lines 175-178 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=175&end_line=178

import Base

def bpf_mem.stx(st: BpfState, k: U32) -> BpfState:
  match st:
    case BpfState{a, +x, mem}:
      BpfState{a, x, bpf_mem.set(mem, k, x)}

Uses (3):
  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/bpf.bend&name=bpf_mem.set