law combine_newer

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

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

92law combine_newer:
93  for +a: S.SeccompAction
94  for +b: S.SeccompAction
95  for e: {Nat.is_le(S.SeccompAction.rank(a), S.SeccompAction.rank(b)) == True{} : Bool}
96  {S.seccomp_combine(a, b) == a : S.SeccompAction}