~/jendhub

def inc.decide

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

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/options.bend as O
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR
import bend-osdev-apparmor@0.1.0.0/eval.bend as V

3496def inc.decide(+opts: O.AaOptions, +flags: PR.AaFlags, +req: P.AaPerms, +g0: List<&2, P.AaGrant>, +g1: List<&2, P.AaGrant>) -> {V.AaEval.decide(opts, flags, req, P.AaGrant.append(P.AaGrant.append(g0, g1), g1)) == V.AaEval.decide(opts, flags, req, P.AaGrant.append(g0, g1)) : V.AaDecision}:
3497  Equal.cong(V.AaAcc, V.AaDecision, a => V.AaEval.decide.acc(opts, flags, req, a), V.AaAcc.of(P.AaGrant.append(P.AaGrant.append(g0, g1), g1)), V.AaAcc.of(P.AaGrant.append(g0, g1)), inc.acc(g0, g1))

Uses (13)

Used by (8)