RuleChangeProfile.AaChangeRule.matches: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend as RuleChangeProfile
Lines 169-174 of bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&start_line=169&end_line=174

import Base
import bend-osdev-apparmor@0.1.0.0/rule.bend as R

def AaChangeRule.matches(r: AaChangeRule, q: AaChangeQuery) -> Bool:
  match r:
    case AaChangeRule{qu, e, s, tg}:
      match q:
        case AaChangeQuery{qe, qt}:
          Bool.and(AaChange.exec_ok(e, qe), R.AaRule.opt_match(tg, qt))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule.bend&name=AaRule.opt_match
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&name=AaChange.exec_ok
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&name=AaChangeQuery
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&name=AaChangeRule