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

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# a normalized path's role among the marks: neither when it is not marked
def of.norm(ms: List<&2, Mark>, +nn: String) -> Role:
  match ms:
    case Nil{}:
      Plain{}
    case Con{Mark{+norm, role}, rest}:
      Lazy.either(Role, String.eq(norm, nn), _u => role, _v => of.norm(rest, nn))

Uses (6):
  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=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=either
  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