def project
bolt@1.27.0.0 · src/rules.bend:165
import bolt@1.27.0.0/src/rules.bend as Rules
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
165
166
167
168
169def project(+srcs: List<&2, Src.Src>, +rs: List<&2, String>) -> List<&2, F.Finding>:
170 +ds = Digest.all.role(Role.marks(srcs), srcs)
171 List.concat(&2, F.Finding, [Law.check(members(ds, rs, "")), covers(rs, ds, rs)])