def Aa.files
import bend-osdev-apparmor@0.1.0.0/apparmor.bend as Apparmorimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-apparmor@0.1.0.0/parse.bend as S
35def Aa.files(xs: List<&2, AaSource>) -> List<&2, S.AaSrcFile>:
36 match xs:
37 case Nil{}:
38 Nil{}
39 case Con{x, t}:
40 match x:
41 case AaSource{n, s}:
42 Con{S.AaSrcFile{B.Octets.to_list(n), B.Octets.to_list(s)}, Aa.files(t)}