def AaGSeqs.append
import bend-osdev-apparmor@0.1.0.0/glob.bend as Globimport Base
704def AaGSeqs.append(xs: List<&2, List<&2, AaGTok>>, ys: List<&2, List<&2, AaGTok>>) -> List<&2, List<&2, AaGTok>>:
705 match xs:
706 case Nil{}:
707 ys
708 case Con{h, t}:
709 Con{h, AaGSeqs.append(t, ys)}