def bpf_mem.tail

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

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

import Base

203def bpf_mem.tail(ahead: List<&2, U32>) -> List<&2, U32>:
204  match ahead:
205    case Nil{}:
206      Nil{}
207    case Con{h, t}:
208      t

Uses (2)

U32
List

Used by (1)

bend-osdev-bpf@0.1.0.0/validate:bpf_mem.go