law combine_assoc

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

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

104law combine_assoc:
105  for a: S.SeccompAction
106  for b: S.SeccompAction
107  for c: S.SeccompAction
108  {S.seccomp_combine(a, S.seccomp_combine(b, c)) == S.seccomp_combine(S.seccomp_combine(a, b), c) : S.SeccompAction}