Names.find: def of bend-lint-api@0.2.0.0 Import: import bend-lint-api@0.2.0.0/shared/names.bend as Names Lines 34-37 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=34&end_line=37 import Base # The value `key` names in `table`, a map by name (as `Lint.definitions` makes): one pass over the name, however many # names there are. def find(-A: Data, table: Map<&2, Maybe<&2, A>>, key: String) -> Maybe<&2, A>: Pair.snd(Map<&2, Maybe<&2, A>>, Maybe<&2, A>, Map.get(Maybe<&2, A>, None{}, table, key)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.get https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair.snd https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String