def bpf_check.len

bend-osdev-bpf@0.1.0.0 · validate.bend:139

import bend-osdev-bpf@0.1.0.0/validate.bend as Validate

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

139def bpf_check.len(+n: Nat, limit: Nat) -> Result<&2, &2, I.BpfError, Unit>:
140  bpf_both(bpf_chk(Nat.is_lt(0n, n), I.BpfErrEmpty{}), bpf_chk(Nat.is_le(n, limit), I.BpfErrTooLong{n}))

Uses (8)

Used by (3)