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

import Base
import bolt@1.27.0.0/src/paths.bend as Paths
import bolt@1.27.0.0/src/rules/imports.bend as Imports
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import bolt@1.27.0.0/src/syntax/outline.bend as Outline

# a file's fact read from its text alone: lexed and outlined for its imports,
# never parsed, so a file read only for its place in the graph costs little
def fact.text(+path: String, +text: String) -> Fact:
  +nn = Imports.norm(path)
  Fact{nn, Imports.targets(Outline.of_tokens(text, Lex.tokens(text)), nn), of_path(path),
    String.eq(Paths.base(path), "main.bend")}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/syntax/lex.bend&name=tokens
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=of_tokens