def AaPtraceRule.grants.of

bend-osdev-apparmor@0.1.0.0 · rule_ptrace.bend:143

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

143def AaPtraceRule.grants.of(rs: List<&2, AaPtraceRule>) -> List<&2, P.AaGrant>:
144  match rs:
145    case Nil{}:
146      Nil{}
147    case Con{r, t}:
148      match r:
149        case AaPtraceRule{qu, p, pe}:
150          Con{P.AaGrant.of(qu, p), AaPtraceRule.grants.of(t)}