Wrap.check.width: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
Lines 101-103 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=101&end_line=103

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

# the header's width, through its `:`: a comment after it does not count
def check.width(toks: List<&2, Lex.Tok>) -> U32:
  check.width.go(toks, 0, 0, False{})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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.width.go
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok