law combine_older

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

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

98law combine_older:
99  for +a: S.SeccompAction
100  for +b: S.SeccompAction
101  for e: {Nat.is_lt(S.SeccompAction.rank(b), S.SeccompAction.rank(a)) == True{} : Bool}
102  {S.seccomp_combine(a, b) == b : S.SeccompAction}