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

import Base

# a file's role: its role by name, or else its role on the laws' side
def role.of(+named: Role, reach: Role) -> Role:
  Bool.pick(Role, is_law_file(named), named, reach)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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