Glob.AaGNfa.run: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/glob.bend as Glob
Lines 180-193 of bend-osdev-apparmor@0.1.0.0/glob.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&start_line=180&end_line=193

import Base

# the positions moved along the path; at its end, the active positions
# whose suffixes match the empty string accept. alive: some position is
# active (computed by the caller); when none is, the path cannot match.
def AaGNfa.run(s: List<&2, U32>, alive: Bool, +seq: List<&2, AaGTok>, bs: List<&2, Bool>) -> Bool:
  match s:
    case Nil{}:
      AaGNfa.sem(seq, bs, Nil{})
    case Con{h, t}:
      match alive:
        case False{}:
          False{}
        case True{}:
          +n = AaGNfa.next(seq, bs, False{}, False{}, h)
          AaGNfa.run(t, AaGNfa.alive(n), seq, n)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/glob.bend&name=AaGNfa.alive
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGNfa.next
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGNfa.sem
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGTok