~/jendhub

def gnd.acc

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:3379

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

3379def gnd.acc(+acc: V.AaAcc) -> {P.AaPerms.meets(V.AaAcc.granted(acc), V.AaAcc.deny(acc)) == False{} : Bool}:
3380  match acc:
3381    case V.AaAcc{al, de, au, qu}:
3382      pm.minus_meets(al, de)

Uses (6)

Used by (1)