def bpf_chk

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

import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I

40def bpf_chk(ok: Bool, e: I.BpfError) -> Result<&2, &2, I.BpfError, Unit>:
41  match ok:
42    case True{}:
43      Done{Unit{}}
44    case False{}:
45      Fail{e}