RuleMount.AaMountRule.matches: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMount
Lines 264-269 of bend-osdev-apparmor@0.1.0.0/rule_mount.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&start_line=264&end_line=269

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

def AaMountRule.matches(r: AaMountRule, q: AaMountQuery) -> Bool:
  match r:
    case AaMountRule{qu, op, fs, os, so, tg}:
      match q:
        case AaMountQuery{qop, qfs, qos, qso, qtg}:
          Bool.and(AaMountOp.eq(op, qop), Bool.and(R.AaRule.opt_any(fs, qfs), Bool.and(AaMount.options_ok(os, qos), Bool.and(R.AaRule.opt_match(so, qso), R.AaRule.opt_match(tg, qtg)))))

Uses (8):
  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_any
  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_mount.bend&name=AaMount.options_ok
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMountOp.eq
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMountQuery
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMountRule