Bpf.bpf_load.at: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf
Lines 105-122 of bend-osdev-bpf@0.1.0.0/bpf.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bpf@0.1.0.0/bpf.bend&start_line=105&end_line=122

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

def bpf_load.at(order: I.BpfOrder, size: I.BpfSize, data: B.Octets, n: Nat) -> Maybe<&2, U32>:
  match order:
    case I.BpfBig{}:
      match size:
        case I.BpfW{}:
          B.Octets.be32_at(data, n)
        case I.BpfH{}:
          B.Octets.be16_at(data, n)
        case I.BpfB{}:
          B.Octets.at(data, n)
    case I.BpfLittle{}:
      match size:
        case I.BpfW{}:
          B.Octets.le32_at(data, n)
        case I.BpfH{}:
          B.Octets.le16_at(data, n)
        case I.BpfB{}:
          B.Octets.at(data, n)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfOrder
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfSize
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.be16_at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.be32_at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.le16_at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.le32_at