Pick.search.walk: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/correctness/pick.bend as Pick Lines 350-360 of bolt@1.27.0.0/src/rules/correctness/pick.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/pick.bend&start_line=350&end_line=360 import Base import bolt@1.27.0.0/src/finding.bend as F import bolt@1.27.0.0/src/syntax/tree.bend as Tree # every search bound above its pick in a chain of statements and in the # chains under them def search.walk(nn: Tree.Node, +name: String, +path: String) -> List<&2, F.Finding>: match nn: case Tree.NCons{Tree.Stmt{kind, kids, body}, +rest}: List.concat(&2, F.Finding, [search.stmt(kind, kids, rest, name, path), search.walk(body, name, path), search.walk(rest, name, path)]) case Tree.NCons{_h, rest}: search.walk(rest, name, path) case _other: Nil{} 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=List.concat 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/finding.bend&name=Finding https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/pick.bend&name=search.stmt https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node