Wrap.check.width.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
Lines 89-99 of bolt@1.27.0.0/src/rules/style/wrap.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&start_line=89&end_line=99

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

# the header's width through its last `:` (upto, once seen says there was
# one), else its whole width, a string literal counting as two and a
# comment none
def check.width.go(toks: List<&2, Lex.Tok>, +acc: U32, +upto: U32, +seen: Bool) -> U32:
  match toks:
    case Nil{}:
      Bool.pick(U32, seen, upto, acc)
    case Con{Lex.Tok{+kd, tx, _ln, _cl}, rest}:
      +next = check.add(acc, kd, tx)
      +colon = check.is_colon(kd)
      check.width.go(rest, next, Bool.pick(U32, colon, next, upto), Bool.or(colon, seen))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.add
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.is_colon
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok