def Edges.of

bend-lint-pack@0.1.1.0 · common.bend:119

import Base

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