Eval.AaAcc.single.go: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/eval.bend as Eval
Lines 84-99 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=84&end_line=99

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

# what one grant contributes: allowed or denied; audited, or (for a denial
# without audit) quieted
def AaAcc.single.go(audit: Bool, deny: Bool, +p: P.AaPerms) -> AaAcc:
  match audit:
    case True{}:
      match deny:
        case True{}:
          AaAcc{P.AaPerms.none(), p, p, P.AaPerms.none()}
        case False{}:
          AaAcc{p, P.AaPerms.none(), p, P.AaPerms.none()}
    case False{}:
      match deny:
        case True{}:
          AaAcc{P.AaPerms.none(), p, P.AaPerms.none(), p}
        case False{}:
          AaAcc{p, P.AaPerms.none(), P.AaPerms.none(), P.AaPerms.none()}

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/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.none