def bpf_mem.bit.go

bend-osdev-bpf@0.1.0.0 · validate.bend:147

import bend-osdev-bpf@0.1.0.0/validate.bend as Validate

import Base

147def bpf_mem.bit.go(small: Bool, k: U32) -> U32:
148  match small:
149    case True{}:
150      U32.shln(1, U32.to_nat(k))
151    case False{}:
152      0

Uses (4)

Used by (1)

bend-osdev-bpf@0.1.0.0/validate:bpf_mem.bit