Profile.AaProfile.find: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/profile.bend as Profile
Lines 250-256 of bend-osdev-apparmor@0.1.0.0/profile.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&start_line=250&end_line=256

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaProfile
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaProfile.find.go
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaProfile.name
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.eq