Role.edges: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/role.bend as Role Lines 101-107 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=101&end_line=107 import Base import bolt@1.27.0.0/src/rules/imports.bend as Imports # the import graph of the files def edges(fs: List<&2, Fact>) -> List<&2, Imports.Edge>: match fs: case Nil{}: Nil{} case Con{Fact{norm, deps, _named, _entry}, rest}: Imports.Edge{norm, deps} <> edges(rest) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List 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/rules/imports.bend&name=Edge