Role.reach: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/role.bend as Role
Lines 135-137 of bolt@1.27.0.0/src/role.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/role.bend&start_line=135&end_line=137

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

# what the walk from some files reaches, through every file of the run
def reach(+fs: List<&2, Fact>, +from: List<&2, String>) -> List<&2, String>:
  Imports.walk(List.length(&2, Fact, fs), from, from, edges(fs), paths(fs))

Uses (7):
  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/role.bend&name=Fact
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=edges
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=paths
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=walk