Plan.conf.used: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan Lines 438-446 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=438&end_line=446 import Base import bolt@1.27.0.0/src/lint/world.bend as W # the bolt.bend that grades each directory, in directory order: the first of # its candidates the World read, as conf.near reads it; none for a directory # graded by the defaults def conf.used(ds: List<&2, String>, +world: W.World) -> List<&2, String>: match ds: case Nil{}: Nil{} case Con{d, rest}: List.append(&2, String, conf.first(gots(conf.chain(world, d), world)), conf.used(rest, world)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append 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=conf.chain https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=conf.first https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=gots https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World