Profile.AaProfile.descend: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/profile.bend as Profile
Lines 268-284 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=268&end_line=284

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

# the child or hat named by the rest of a full name
def AaProfile.descend(fuel: Nat, m: Maybe<&2, AaProfile>, rest: Maybe<&2, X.AaSplit>) -> Maybe<&2, AaProfile>:
  match fuel:
    case 0n:
      None{}
    case 1n+f:
      match m:
        case None{}:
          None{}
        case Some{+p}:
          match rest:
            case None{}:
              Some{p}
            case Some{sp}:
              match sp:
                case X.AaSplit{first, more}:
                  AaProfile.descend(f, AaProfile.find(AaProfile.list_append(AaProfile.children(p), AaProfile.hats(p)), first), X.AaText.split2.opt(more))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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.children
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaProfile.find
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaProfile.hats
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaProfile.list_append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaSplit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.split2.opt