def Laws.sources
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
238# A call evaluates its arguments, so a file is split into lines only through a match: Base is long.
239def Laws.sources(sources: List<&2, Lint.Source>, +paths: Set(), out: Set()) -> Set():
240 match sources:
241 case Nil{}:
242 out
243 case Con{Lint.Source{path, text, root}, rest}:
244 Laws.sources(rest, paths, Laws.scan(has(paths, path), text, out))