def AaFrames.names.go

bend-osdev-apparmor@0.1.0.0 · parse.bend:1601

import Base
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR

1601def AaFrames.names.go(ps: List<&2, PR.AaProfile>) -> List<&2, List<&2, U32>>:
1602  match ps:
1603    case Nil{}:
1604      Nil{}
1605    case Con{p, t}:
1606      Con{PR.AaProfile.name(p), AaFrames.names.go(t)}