RuleSignal.AaSignalRule.matches: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RuleSignal
Lines 175-180 of bend-osdev-apparmor@0.1.0.0/rule_signal.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_signal.bend&start_line=175&end_line=180

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

def AaSignalRule.matches(r: AaSignalRule, q: AaSignalQuery) -> Bool:
  match r:
    case AaSignalRule{qu, p, s, pe}:
      match q:
        case AaSignalQuery{req, sig, peer}:
          Bool.and(AaSignal.opt_member(s, sig), R.AaRule.opt_match(pe, peer))

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_signal.bend&name=AaSignal.opt_member
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_signal.bend&name=AaSignalQuery
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_signal.bend&name=AaSignalRule