Rules.covers: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules.bend as Rules
Lines 157-163 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=157&end_line=163

import Base
import bolt@1.27.0.0/src/finding.bend as F
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

# `coverage` on each package but `.`
def covers(rs: List<&2, String>, +ds: List<&2, Digest.Digest>, +roots: List<&2, String>) -> List<&2, F.Finding>:
  match rs:
    case Nil{}:
      Nil{}
    case Con{+dir, rest}:
      List.append(&2, F.Finding, Law.check(members(ds, roots, dir)), covers(rest, ds, roots))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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/rules/digest.bend&name=Digest
  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=members