Space.check.line: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/space.bend as Space
Lines 76-81 of bolt@1.27.0.0/src/rules/style/space.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/space.bend&start_line=76&end_line=81

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

def check.line(+path: String, +nn: U32, +cs: List<&2, Char>, +more: List<&2, F.Finding>) -> List<&2, F.Finding>:
  +len = U32.from_nat(List.length(&2, Char, cs))
  Bool.pick(List<&2, F.Finding>, trailing(cs),
    F.Finding{path, nn, (len - 1 : U32), 1, "space", "Line has trailing whitespace."} <> more,
    Bool.pick(List<&2, F.Finding>, has_tab(cs),
      F.Finding{path, nn, 0, 1, "space", "Line contains a tab; indent with spaces."} <> more, more))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  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.from_nat
  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/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/space.bend&name=has_tab
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/space.bend&name=trailing