Names.Group.get: def of bend-lint-api@0.2.0.0 Import: import bend-lint-api@0.2.0.0/shared/names.bend as Names Lines 56-62 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=56&end_line=62 import Base # What is added under `key`, in the order added. def Group.get(-A: Data, groups: Map<&2, List<&2, A>>, key: String) -> List<&2, A>: List.reverse( &2, A, Pair.snd(Map<&2, List<&2, A>>, List<&2, A>, Map.get(List<&2, A>, [], groups, key)) ) 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.reverse 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=Pair.snd https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String