Parse.AaParse.cp_applies: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
Lines 1499-1509 of bend-osdev-apparmor@0.1.0.0/parse.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&start_line=1499&end_line=1509

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P
import bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend as RX

# change_profile rules with exec conditions must agree on safe and unsafe
# (apparmor_parser 4.0.1 refuses overlapping ones that differ; the package,
# which does not intersect patterns, refuses any allow rules that differ)
def AaParse.cp_applies(r: RX.AaChangeRule) -> Bool:
  match r:
    case RX.AaChangeRule{q, e, s, tg}:
      match e:
        case None{}:
          False{}
        case Some{g}:
          Bool.not(P.AaQual.deny(q))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/perm.bend&name=AaQual.deny
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&name=AaChangeRule