Doc.check.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/doc.bend as Doc
Lines 67-75 of bolt@1.27.0.0/src/rules/style/doc.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/doc.bend&start_line=67&end_line=75

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

def check.go(items: List<&2, Outline.Item>, +path: String, +lines: List<&2, String>) -> List<&2, F.Finding>:
  match items:
    case Nil{}:
      Nil{}
    case Con{Outline.Item{+k, +name, +line, _sig, _doc, _p}, rest}:
      +more = check.go(rest, path, lines)
      Bool.pick(List<&2, F.Finding>,
        Lazy.and_then(Bool.and(needs(k), Bool.not(exempt(name))), _u => Bool.not(check.above(lines, line))),
        F.Finding{path, line, 0, 0, "doc", what(k) ++ " " ++ name ++ " has no comment above it."} <> more, more)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  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/lazy/lazy.bend&name=and_then
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/doc.bend&name=check.above
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/doc.bend&name=exempt
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/doc.bend&name=needs
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/doc.bend&name=what
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=Item