law most_restrictive

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

import Base
import bend-osdev-bpf@0.1.0.0/seccomp.bend as S

87law most_restrictive:
88  for a: S.SeccompAction
89  for b: S.SeccompAction
90  {S.SeccompAction.rank(S.seccomp_combine(a, b)) == Nat.min(S.SeccompAction.rank(a), S.SeccompAction.rank(b)) : Nat}