Glob.AaGLex.finish: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/glob.bend as Glob
Lines 669-680 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=669&end_line=680

import Base

def AaGLex.finish(st: AaGLex) -> AaGLex:
  match st:
    case AaGLex{m, p, sl, st0, d, out, ok}:
      match m:
        case AaGMNorm{}:
          AaGLex{AaGMNorm{}, p, sl, st0, d, out, ok}
        case AaGMEsc{}:
          AaGLex{AaGMNorm{}, p, sl, st0, d, out, False{}}
        case AaGMStar{}:
          AaGLex.star(AaGLex{AaGMNorm{}, p, sl, st0, d, out, ok}, True{})
        case AaGMClass{n, f, rs, pe, da}:
          AaGLex{AaGMNorm{}, p, sl, st0, d, out, False{}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.star
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGMode