Prefix.len.next: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 52-66 of bolt@1.27.0.0/src/rules/suspicious/prefix.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&start_line=52&end_line=66

import Base

# where the char leaves the length: a backslash starts an escape, a quote
# closes the literal, `u` after a backslash opens a `\u{..}` and `}` closes
# it
def len.next(mm: Mode, +cc: Char) -> Mode:
  match mm:
    case MOpen{}:
      MPlain{}
    case MPlain{}:
      Bool.pick(Mode, is_cp(cc, 92), MEsc{}, Bool.pick(Mode, is_cp(cc, 34), MDone{}, MPlain{}))
    case MEsc{}:
      Bool.pick(Mode, is_cp(cc, 117), MUni{}, MPlain{})
    case MUni{}:
      Bool.pick(Mode, is_cp(cc, 125), MPlain{}, MUni{})
    case MDone{}:
      MDone{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=is_cp