Plan.marks.key: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan Lines 400-407 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=400&end_line=407 import Base import bolt@1.27.0.0/src/role.bend as Role import bolt@1.27.0.0/src/rules/imports.bend as Imports # each path's mark as the path is spelled: its role among marks taken over # resolved paths (abs), neither when it has none there def marks.key(ps: List<&2, String>, +cwd: String, +ms: List<&2, Role.Mark>) -> List<&2, Role.Mark>: match ps: case Nil{}: Nil{} case Con{+p, rest}: Role.Mark{Imports.norm(p), Role.of.norm(ms, abs(cwd, p))} <> marks.key(rest, cwd, ms) 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=bolt@1.27.0.0/src/lint/plan.bend&name=abs 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=of.norm https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=norm