NativeHttp.Headers.values: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/native_http.bend as NativeHttp
Lines 66-68 of bend-trace-context@0.2.0.0/native_http.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/native_http.bend&start_line=66&end_line=68

import Base

# The values a map holds under `name`, none when it has no entry for it.
def Headers.values(+headers: HeaderMap(), name: String) -> List<&2, String>:
  Pair.snd(HeaderMap(), List<&2, String>, Map.get(List<&2, String>, Nil{}, headers, name))

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.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
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/native_http.bend&name=HeaderMap