Rules.project: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules.bend as Rules
Lines 165-171 of bolt@1.27.0.0/src/rules.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules.bend&start_line=165&end_line=171

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/src.bend as Src
import bolt@1.27.0.0/src/role.bend as Role
import bolt@1.27.0.0/src/rules/digest.bend as Digest
import bolt@1.27.0.0/src/rules/laws/law.bend as Law

# every project rule's findings on the files and the package roots but `.`
# (each a directory as Digest.dir names one): each file is read down to its
# digest once (rules/digest.bend); `coverage` runs on each package's files,
# `.` first
def project(+srcs: List<&2, Src.Src>, +rs: List<&2, String>) -> List<&2, F.Finding>:
  +ds = Digest.all.role(Role.marks(srcs), srcs)
  List.concat(&2, F.Finding, [Law.check(members(ds, rs, "")), covers(rs, ds, rs)])

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.concat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/role.bend&name=marks
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=all.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/laws/law.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules.bend&name=covers
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules.bend&name=members
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src