Token.AaLex.space.go: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/token.bend as Token
Lines 161-183 of bend-osdev-apparmor@0.1.0.0/token.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&start_line=161&end_line=183

import Base

# a character between tokens
def AaLex.space.go(k: AaLxCh, +st: AaLex, h: U32) -> AaLex:
  match k:
    case AaLxCOther{}:
      AaLex.mode(st, AaLxWord{[h], 0n})
    case AaLxCWs{}:
      st
    case AaLxCNl{}:
      AaLex.newline(st)
    case AaLxCHash{}:
      AaLex.mode(st, AaLxHash{0n})
    case AaLxCOpen{}:
      AaLex.open(st)
    case AaLxCClose{}:
      AaLex.push(st, AaTClose{AaLex.line(st)})
    case AaLxCLP{}:
      AaLex.open_paren(st)
    case AaLxCRP{}:
      AaLex.close_paren(st)
    case AaLxCComma{}:
      AaLex.push(st, AaTComma{AaLex.line(st)})
    case AaLxCQuote{}:
      AaLex.mode(st, AaLxQuote{Nil{}, False{}})

Uses (14):
  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/token.bend&name=AaLex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.close_paren
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.line
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.mode
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.newline
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.open
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.open_paren
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.push
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLxCh
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLxMode
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaTok