Text.next: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/text.bend as Text
Lines 198-206 of bend-toon-codec@0.1.0.0/src/text.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&start_line=198&end_line=206

import Base

# The state after reading character `c`.
def next(+st: Us, +c: U32) -> Us:
  match st:
    case UN{}:
      us.pick(U32.is_eq(c, 92), UB{}, UN{})
    case UB{}:
      us.pick(U32.is_eq(c, 117), UH{4, 0}, UN{})
    case UH{k, acc}:
      hex.next(hex.val(c), k, acc)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=Us
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=hex.next
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=hex.val
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=us.pick