Joint.named: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/joint.bend as Joint Lines 423-430 of ezx@1.11.0.0/src/ws/joint.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/joint.bend&start_line=423&end_line=430 import Base # the first member whose `[package] name` is this one, or none def named(ms: List<&2, Member>, +name: String) -> Maybe<&2, Member>: match ms: case []: None{} case +hd <> tl: rest = named(tl, name) named.at(String.eq(member.name(hd), name), hd, rest) 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=Maybe 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=ezx@1.11.0.0/src/ws/joint.bend&name=Member https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=member.name https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=named.at