Role.fact: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/role.bend as Role
Lines 73-77 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=73&end_line=77

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

# a parsed file read down to its fact
def fact(ss: Src.Src) -> Fact:
  Src.Src{+path, _text, _toks, _tree, _bound, items} = ss
  +nn = Imports.norm(path)
  Fact{nn, Imports.targets(items, nn), of_path(path), String.eq(Paths.base(path), "main.bend")}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/paths.bend&name=base
  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=of_path
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=norm
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=targets
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src