Common.Entry.any: def of bend-lint-pack@0.1.1.0 Import: import bend-lint-pack@0.1.1.0/common.bend as Common Lines 294-303 of bend-lint-pack@0.1.1.0/common.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/common.bend&start_line=294&end_line=303 import Base # Whether some entry names `owner`, as written or without its namespace. def Entry.any(entries: List<&2, String>, +owner: String) -> Bool: match entries: case Nil{}: False{} case Con{+e, rest}: Bool.or( Bool.or(Entry.hit(e, owner), Entry.hit(e, local(owner))), Entry.any(rest, owner) ) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or 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=bend-lint-pack@0.1.1.0/common.bend&name=Entry.hit https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=local