RuleNetwork.AaNetRule.matches: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_network.bend as RuleNetwork
Lines 155-160 of bend-osdev-apparmor@0.1.0.0/rule_network.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_network.bend&start_line=155&end_line=160

import Base

def AaNetRule.matches(r: AaNetRule, q: AaNetQuery) -> Bool:
  match r:
    case AaNetRule{qu, d, ty, pr}:
      match q:
        case AaNetQuery{qd, qt, qp}:
          Bool.and(AaNet.opt_eq(d, qd), Bool.and(AaNet.opt_eq(ty, qt), AaNet.opt_eq(pr, qp)))

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_network.bend&name=AaNet.opt_eq
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_network.bend&name=AaNetQuery
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_network.bend&name=AaNetRule