def dec.after2

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

import bend-osdev-bpf@0.1.0.0/PROOF.bend as PROOF

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

540def dec.after2(a: Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>, r: Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>) -> Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>:
541  match a:
542    case Fail{e}:
543      Fail{e}
544    case Done{acc}:
545      dec.after(acc, r)

Uses (5)

Used by (2)