def covers

bolt@1.27.0.0 · src/rules.bend:157

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

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