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

import Base

def AaGLex.norm(k: AaGCh, +h: U32, st: AaGLex) -> AaGLex:
  match k:
    case AaGCLit{}:
      AaGLex.emit(st, AaGFTok{AaGChar{h}}, h)
    case AaGCEsc{}:
      AaGLex.set_mode(st, AaGMEsc{})
    case AaGCStar{}:
      AaGLex.set_mode(st, AaGMStar{})
    case AaGCAny{}:
      AaGLex.emit(st, AaGFTok{AaGAny{}}, 63)
    case AaGCClass{}:
      AaGLex.set_mode(st, AaGMClass{False{}, True{}, Nil{}, None{}, False{}})
    case AaGCOpen{}:
      AaGLex.open(st)
    case AaGCComma{}:
      AaGLex.comma(st)
    case AaGCClose{}:
      AaGLex.close(st)
    case AaGCBad{}:
      AaGLex.fail(st)
    case AaGCSlash{}:
      AaGLex.slash(st)

Uses (16):
  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=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/glob.bend&name=AaGCh
  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=AaGLex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.close
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.comma
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.emit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.fail
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.open
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.set_mode
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGLex.slash
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGMode
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGTok