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

import Base

# the letters of "include"
def AaLex.inc(n: Nat) -> U32:
  match n:
    case 0n:
      105
    case 1n+a:
      match a:
        case 0n:
          110
        case 1n+b:
          match b:
            case 0n:
              99
            case 1n+c:
              match c:
                case 0n:
                  108
                case 1n+d:
                  match d:
                    case 0n:
                      117
                    case 1n+e:
                      match e:
                        case 0n:
                          100
                        case 1n+f:
                          101

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32