Doc.check.lead: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/doc.bend as Doc
Lines 51-58 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=51&end_line=58

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# reading lines 0 to nn - 1 down from ok: does a comment block end right
# above line nn, past a run of attribute lines?
def check.lead(lines: List<&2, String>, +nn: U32, +ok: Bool) -> Bool:
  match lines:
    case Nil{}:
      Bool.and(U32.is_eq(nn, 0), ok)
    case Con{hh, tt}:
      Lazy.stop(Bool, U32.is_eq(nn, 0), ok, _u => check.lead(tt, U32.sub(nn, 1), check.after(hh, ok)))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/doc.bend&name=check.after