Common.Laws.of: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/common.bend as Common
Lines 256-258 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=256&end_line=258

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

# The local names of every law in the program's own files.
def Laws.of(sources: List<&2, Lint.Source>, owners: Owners) -> Set():
  Laws.sources(sources, Paths.of(Owners.ordered(owners), Set.new()), Set.new())

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=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=Owners
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Owners.ordered
  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/vendor/lint.bend&name=Source