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

import Base
import bolt@1.27.0.0/src/paths.bend as Paths

# a file's role by its name alone: a LAWS.bend, a PROOF.bend, or neither
def of_path(+path: String) -> Role:
  Bool.pick(Role, Paths.is_laws(path), Laws{}, Bool.pick(Role, Paths.is_proof(path), Proof{}, Plain{}))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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/paths.bend&name=is_laws
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/paths.bend&name=is_proof
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=Role