Eval.AaAcc.granted: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/eval.bend as Eval
Lines 139-143 of bend-osdev-apparmor@0.1.0.0/eval.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/eval.bend&start_line=139&end_line=143

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P

# what the grants allow and do not deny
def AaAcc.granted(a: AaAcc) -> P.AaPerms:
  match a:
    case AaAcc{al, de, au, qu}:
      P.AaPerms.minus(al, de)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/eval.bend&name=AaAcc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/perm.bend&name=AaPerms
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/perm.bend&name=AaPerms.minus