def g_encode

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

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

518def g_encode(ops: List<&2, I.BpfOp>, acc: List<&2, I.BpfRaw>) -> {I.bpf_encode.go(ops, acc) == List.reverse.go(&2, I.BpfRaw, I.bpf_encode.ref(ops), acc) : List<&2, I.BpfRaw>}:
519  match ops:
520    case Nil{}:
521      {==}
522    case Con{op, t}:
523      g_encode(t, Con{I.BpfOp.encode(op), acc})

Uses (7)

Used by (1)

bend-osdev-bpf@0.1.0.0/PROOF:F_encode