def bpf_decode.push
import bend-osdev-bpf@0.1.0.0/insn.bend as Insnimport Base
341# one decoded instruction pushed onto the instructions so far (last first)
342def bpf_decode.push(m: Maybe<&2, BpfOp>, e: BpfError, acc: List<&2, BpfOp>) -> Result<&2, &2, BpfError, List<&2, BpfOp>>:
343 match m:
344 case None{}:
345 Fail{e}
346 case Some{op}:
347 Done{Con{op, acc}}