def bpf_decode.cons
import bend-osdev-bpf@0.1.0.0/insn.bend as Insnimport Base
320def bpf_decode.cons(m: Maybe<&2, BpfOp>, e: BpfError, rest: Result<&2, &2, BpfError, List<&2, BpfOp>>) -> Result<&2, &2, BpfError, List<&2, BpfOp>>:
321 match m:
322 case None{}:
323 Fail{e}
324 case Some{op}:
325 match rest:
326 case Fail{f}:
327 Fail{f}
328 case Done{ops}:
329 Done{Con{op, ops}}