law validated_returns

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

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

23law validated_returns:
24  for +opts: V.BpfValidateOptions
25  for +prog: List<&2, I.BpfOp>
26  for +inp: R.BpfInput
27  for +ok: {V.bpf_validate_with(opts, prog) == Done{Unit{}} : Result<&2, &2, I.BpfError, Unit>}
28  {Result.is_done(&2, &2, I.BpfError, U32, R.bpf_run(inp, prog)) == True{} : Bool}