def bpf_decode.ref.go

bend-osdev-bpf@0.1.0.0 · insn.bend:331

import bend-osdev-bpf@0.1.0.0/insn.bend as Insn

import Base

331def bpf_decode.ref.go(rs: List<&2, BpfRaw>, +pc: Nat) -> Result<&2, &2, BpfError, List<&2, BpfOp>>:
332  match rs:
333    case Nil{}:
334      Done{Nil{}}
335    case Con{+r, t}:
336      bpf_decode.cons(BpfRaw.decode(r), BpfErrBadCode{pc, BpfRaw.code(r)}, bpf_decode.ref.go(t, 1n+pc))

Uses (9)

Used by (4)