Token.AaLex.step.mode: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/token.bend as Token
Lines 293-304 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=293&end_line=304

import Base

def AaLex.step.mode(m: AaLxMode, +st: AaLex, +h: U32, +next: U32) -> AaLex:
  match m:
    case AaLxSpace{}:
      AaLex.space(st, h)
    case AaLxWord{acc, depth}:
      AaLex.word.go(AaLxCh.of(h), st, acc, depth, h, next)
    case AaLxQuote{acc, esc}:
      AaLex.quote.go(esc, st, acc, h)
    case AaLxHash{+n}:
      AaLex.hash.go(Nat.is_lt(n, 7n), st, n, h)
    case AaLxComment{}:
      AaLex.comment(st, h)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  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.comment
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.hash.go
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.quote.go
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.space
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLex.word.go
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLxCh.of
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaLxMode