law program_bytes_back

bend-osdev-bpf@0.1.0.0 · LAWS.bend:238

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

238law program_bytes_back:
239  {I.bpf_of_octets(I.BpfBig{}, I.bpf_to_octets(I.BpfBig{}, rarp())) == Done{rarp()} : Result<&2, &2, I.BpfError, List<&2, I.BpfRaw>>}