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

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

# a file's role among the marks: a LAWS.bend or PROOF.bend by its name, any
# other file as marked, and neither when it is not marked
def of(ms: List<&2, Mark>, +path: String) -> Role:
  role.of(of_path(path), of.norm(ms, Imports.norm(path)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=of.norm
  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/role.bend&name=role.of
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=norm