Common.Edges.of: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/common.bend as Common
Lines 119-125 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=119&end_line=125

import Base

# The names under `key`, last added first; the map is only read.
def Edges.of(+m: Map<&2, List<&2, String>>, key: String) -> List<&2, String>:
  Pair.snd(
    Map<&2, List<&2, String>>,
    List<&2, String>,
    Map.get(List<&2, String>, [], m, key)
  )

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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