RulePtrace.AaPtraceRule.matches: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend as RulePtrace
Lines 122-127 of bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend&start_line=122&end_line=127

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

def AaPtraceRule.matches(r: AaPtraceRule, q: AaPtraceQuery) -> Bool:
  match r:
    case AaPtraceRule{qu, p, pe}:
      match q:
        case AaPtraceQuery{req, peer}:
          R.AaRule.opt_match(pe, peer)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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_ptrace.bend&name=AaPtraceQuery
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend&name=AaPtraceRule