def Laws.scan
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
230# The names of the laws written in the `sources` whose paths are in `paths`.
231def Laws.scan(read: Bool, text: String, out: Set()) -> Set():
232 match read:
233 case True{}:
234 Laws.lines(String.lines(text), out)
235 case False{}:
236 out