def dec.after

bend-osdev-bpf@0.1.0.0 · PROOF.bend:531

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

531# what the tail form ends with, given the instructions decoded so far (acc,
532# last first) and what the structural form answers for the rest
533def dec.after(acc: List<&2, I.BpfOp>, r: Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>) -> Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>:
534  match r:
535    case Fail{f}:
536      Fail{f}
537    case Done{ops}:
538      Done{List.reverse.go(&2, I.BpfOp, acc, ops)}