def AaProfile.find

bend-osdev-apparmor@0.1.0.0 · profile.bend:250

import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X

250# the profile of the list named n
251def AaProfile.find(ps: List<&2, AaProfile>, +n: List<&2, U32>) -> Maybe<&2, AaProfile>:
252  match ps:
253    case Nil{}:
254      None{}
255    case Con{+p, t}:
256      AaProfile.find.go(X.AaText.eq(AaProfile.name(p), n), p, AaProfile.find(t, n))