def AaGrant.append

bend-osdev-apparmor@0.1.0.0 · perm.bend:178

import Base

178def AaGrant.append(xs: List<&2, AaGrant>, ys: List<&2, AaGrant>) -> List<&2, AaGrant>:
179  match xs:
180    case Nil{}:
181      ys
182    case Con{h, t}:
183      Con{h, AaGrant.append(t, ys)}