def go_stop

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

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

288def go_stop(q: List<&2, I.BpfOp>, -w: U32, +inp: R.BpfInput) -> {R.bpf_run.go(q, R.BpfStop{w}, inp) == Done{w} : Result<&2, &2, I.BpfError, U32>}:
289  match q:
290    case Nil{}:
291      {==}
292    case Con{op, t}:
293      {==}