Law.reached: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/laws/law.bend as Law
Lines 154-156 of bolt@1.27.0.0/src/rules/laws/law.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/laws/law.bend&start_line=154&end_line=156

import Base
import bolt@1.27.0.0/src/rules/imports.bend as Imports

# what the laws reach: the walk from the empty key over the graph, built once
def reached(+es: List<&2, Imports.Edge>) -> List<&2, String>:
  Imports.closure.go(es, Imports.paths(es), List.length(&2, Imports.Edge, es), "")

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=Edge
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=closure.go
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=paths