def Prog.build
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
359def Prog.build(
360 sources: List<&2, Lint.Source>,
361 +seen: List<&2, Seen>,
362 edges: Map<&2, List<&2, String>>,
363 into: Map<&2, List<&2, String>>,
364 bodies: Set()
365) -> Prog:
366 Prog.with(
367 Laws.sources(sources, Paths.of(seen, Set.new()), Set.new()),
368 seen,
369 edges,
370 into,
371 bodies
372 )