def bpf_shl
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
197def bpf_shl(small: Bool, a: U32, n: U32) -> U32:
198 match small:
199 case True{}:
200 U32.shln(a, U32.to_nat(n))
201 case False{}:
202 0
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
197def bpf_shl(small: Bool, a: U32, n: U32) -> U32:
198 match small:
199 case True{}:
200 U32.shln(a, U32.to_nat(n))
201 case False{}:
202 0