Profile.AaRules.append: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/profile.bend as Profile
Lines 94-98 of bend-osdev-apparmor@0.1.0.0/profile.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&start_line=94&end_line=98

import Base
import bend-osdev-apparmor@0.1.0.0/rule_file.bend as F
import bend-osdev-apparmor@0.1.0.0/rule_capability.bend as RC
import bend-osdev-apparmor@0.1.0.0/rule_network.bend as RN
import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RS
import bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend as RP
import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RM
import bend-osdev-apparmor@0.1.0.0/rule_dbus.bend as RD
import bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend as RX

# the rules of a and of b
def AaRules.append(a: AaRules, b: AaRules) -> AaRules:
  match a b:
    case AaRules{f1, c1, n1, s1, p1, m1, d1, x1} AaRules{f2, c2, n2, s2, p2, m2, d2, x2}:
      AaRules{F.AaFileRule.append(f1, f2), RC.AaCapRule.append(c1, c2), RN.AaNetRule.append(n1, n2), RS.AaSignalRule.append(s1, s2), RP.AaPtraceRule.append(p1, p2), RM.AaMountRule.append(m1, m2), RD.AaDbusRule.append(d1, d2), RX.AaChangeRule.append(x1, x2)}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaRules
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_capability.bend&name=AaCapRule.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&name=AaChangeRule.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_dbus.bend&name=AaDbusRule.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaFileRule.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMountRule.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_network.bend&name=AaNetRule.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend&name=AaPtraceRule.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_signal.bend&name=AaSignalRule.append