def bpf_mem.get

import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf

import Base

154def bpf_mem.get(mem: List<&2, U32>, k: U32) -> U32:
155  Maybe.default(&2, U32, List.get(&2, U32, mem, U32.to_nat(k)), 0)

Uses (5)