Digest.of.role: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/digest.bend as Digest
Lines 334-344 of bolt@1.27.0.0/src/rules/digest.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/digest.bend&start_line=334&end_line=344

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

# one parsed file read down to its digest, told its role (src/role.bend): a
# law file states the laws that cover defs, and a law or proof file is exempt
def of.role(+rr: Role.Role, s2: Src.Src) -> Digest:
  Src.Src{+path, text, toks, +tree, +bound, +items} = s2
  +p = Imports.norm(path)
  +as = aliases(items, p)
  +laws = Role.is_laws(rr)
  Digest{path, p, Imports.dir_of(path), laws, Role.is_law_file(rr), Bool.or(Role.is_law_file(rr), Paths.is_test(p)),
    ranged(items, uses.of(bound), as, p, proofs(Calls.defs(tree))), stated(laws, tree, bound, as, p),
    Imports.targets(items, p),
    laws.in(laws, tree, items)}

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/paths.bend&name=is_test
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=Role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=is_law_file
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=is_laws
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/calls.bend&name=defs
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=Digest
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=aliases
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=laws.in
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=proofs
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=ranged
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=stated
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/digest.bend&name=uses.of
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=dir_of
  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