def AaPtB.finish
import bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend as RulePtraceimport Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P
102def AaPtB.finish(q: P.AaQual, b: AaPtB) -> AaPtraceRule:
103 match b:
104 case AaPtB{p, pe}:
105 AaPtraceRule{q, Maybe.default(&2, P.AaPerms, p, P.AaPerms.of_bits([True{}, True{}, True{}, True{}])), pe}