Seccomp.seccomp_combine: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccomp
Lines 186-189 of bend-osdev-bpf@0.1.0.0/seccomp.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bpf@0.1.0.0/seccomp.bend&start_line=186&end_line=189

import Base

# the answer of two filters, given each one's: the higher precedence, and on
# a tie the newer filter's action (with its data)
def seccomp_combine(+newer: SeccompAction, +older: SeccompAction) -> SeccompAction:
  seccomp_combine.pick(Nat.is_le(SeccompAction.rank(newer), SeccompAction.rank(older)), newer, older)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/seccomp.bend&name=SeccompAction
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/seccomp.bend&name=SeccompAction.rank
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/seccomp.bend&name=seccomp_combine.pick