Common.Prog.build: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/common.bend as Common
Lines 359-372 of bend-lint-pack@0.1.1.0/common.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/common.bend&start_line=359&end_line=372

import Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint

def Prog.build(
  sources: List<&2, Lint.Source>,
  +seen: List<&2, Seen>,
  edges: Map<&2, List<&2, String>>,
  into: Map<&2, List<&2, String>>,
  bodies: Set()
) -> Prog:
  Prog.with(
    Laws.sources(sources, Paths.of(seen, Set.new()), Set.new()),
    seen,
    edges,
    into,
    bodies
  )

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set.new
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Laws.sources
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Paths.of
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Prog
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Prog.with
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Seen
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Source