def dec.ok

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

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

3262def dec.ok(+b: Bool) -> {V.AaDecision.allowed(V.AaEval.choose(b, V.AaAudit{}, V.AaAllow{})) == True{} : Bool}:
3263  match b:
3264    case True{}:
3265      {==}
3266    case False{}:
3267      {==}