def AaAcc.from
import bend-osdev-apparmor@0.1.0.0/eval.bend as Evalimport Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P
109def AaAcc.from(gs: List<&2, P.AaGrant>, a: AaAcc) -> AaAcc:
110 match gs:
111 case Nil{}:
112 a
113 case Con{g, t}:
114 AaAcc.from(t, AaAcc.add(a, g))