Plan.roots.of: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan Lines 229-237 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=229&end_line=237 import Base import bolt@1.27.0.0/src/lint/world.bend as W # the directories the walk read that hold a main.bend, `.` left out def roots.of(ds: List<&2, String>, +world: W.World) -> List<&2, String>: match ds: case Nil{}: Nil{} case Con{+d, rest}: +more = roots.of(rest, world) +root = Bool.and(Bool.not(String.eq(d, ".")), seen.has(W.listing(world, d), "main.bend")) Bool.pick(List<&2, String>, root, d <> more, more) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick 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/lint/plan.bend&name=seen.has https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=listing