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

import Base

def AaGLex.slash.go(sl: Bool, st: AaGLex) -> AaGLex:
  match sl:
    case True{}:
      match st:
        case AaGLex{m, p, sl2, st0, d, out, ok}:
          AaGLex{AaGMNorm{}, 47, True{}, False{}, d, out, ok}
    case False{}:
      match st:
        case AaGLex{m, p, sl2, +st0, d, out, ok}:
          AaGLex{AaGMNorm{}, 47, Bool.not(st0), False{}, d, Con{AaGFTok{AaGChar{47}}, out}, ok}

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=Bool.not
  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=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=AaGMode
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGTok