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

import Base
import bolt@1.27.0.0/src/src.bend as Src

# the role of every file on the laws' side. Both walks are the one every
# project rule takes over imports (src/rules/imports.bend), each from all its
# roots at once
def marks(ss: List<&2, Src.Src>) -> List<&2, Mark>:
  marks.facts(facts(ss))

Uses (5):
  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=Mark
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=facts
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=marks.facts
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src