def AaGSeq.append
import bend-osdev-apparmor@0.1.0.0/glob.bend as Globimport Base
711def AaGSeq.append(xs: List<&2, AaGTok>, ys: List<&2, AaGTok>) -> List<&2, AaGTok>:
712 match xs:
713 case Nil{}:
714 ys
715 case Con{h, t}:
716 Con{h, AaGSeq.append(t, ys)}