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

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

# a broken header is judged by its shape; a one-line header by its width
def check.header(
  multi: Bool,
  +line: U32,
  toks: List<&2, Lex.Tok>,
  +path: String,
  +more: List<&2, F.Finding>
) -> List<&2, F.Finding>:
  match multi:
    case True{}:
      check.jam(line, toks, path, more)
    case False{}:
      check.wide(line, toks, path, more)

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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.jam
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.wide
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok