RuleDbus.AaDbusRule.matches: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_dbus.bend as RuleDbus
Lines 230-235 of bend-osdev-apparmor@0.1.0.0/rule_dbus.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_dbus.bend&start_line=230&end_line=235

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

def AaDbusRule.matches(r: AaDbusRule, q: AaDbusQuery) -> Bool:
  match r:
    case AaDbusRule{qu, p, bus, path, iface, member, name, pn, pl}:
      match q:
        case AaDbusQuery{req, qbus, qpath, qiface, qmember, qname, qpn, qpl}:
          Bool.and(R.AaRule.opt_match(bus, qbus), Bool.and(R.AaRule.opt_match(path, qpath), Bool.and(R.AaRule.opt_match(iface, qiface), Bool.and(R.AaRule.opt_match(member, qmember), Bool.and(R.AaRule.opt_match(name, qname), Bool.and(R.AaRule.opt_match(pn, qpn), R.AaRule.opt_match(pl, qpl)))))))

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.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_dbus.bend&name=AaDbusQuery
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_dbus.bend&name=AaDbusRule