Names.lookup.go: def of bend-lint-api@0.2.0.0 Import: import bend-lint-api@0.2.0.0/shared/names.bend as Names Lines 8-20 of bend-lint-api@0.2.0.0/shared/names.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&start_line=8&end_line=20 import Base import bend-lint-api@0.2.0.0/shared/lists.bend as Lists def lookup.go( -A: Data, +key: String, table: List<&2, Named>, found: Maybe<&2, A> ) -> Maybe<&2, A>: match table found: case _ Some{v}: Some{v} case Nil{} None{}: None{} case Con{Named{k, v}, rest} None{}: lookup.go(A, key, rest, Lists.when(A, String.eq(k, key), v)) 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=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=bend-lint-api@0.2.0.0/shared/lists.bend&name=when https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&name=Named