Glob.AaGExp.step: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/glob.bend as Glob
Lines 772-783 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=772&end_line=783

import Base

def AaGExp.step(e: AaGExp, f: AaGFlat) -> AaGExp:
  match e:
    case AaGExp{cur, fs, ok}:
      match f:
        case AaGFTok{t}:
          AaGExp{AaGSeqs.cons(t, cur), fs, ok}
        case AaGFOpen{}:
          AaGExp{[Nil{}], Con{AaGFrame{cur, Nil{}, 0n}, fs}, ok}
        case AaGFSep{}:
          AaGExp.sep(fs, cur, ok)
        case AaGFClose{}:
          AaGExp.close(fs, cur, ok)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGExp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGExp.close
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGExp.sep
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGFlat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGFrame
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGSeqs.cons