NativeHttp.headers: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/native_http.bend as NativeHttp
Lines 85-92 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=85&end_line=92

import Base
import bend-trace-context@0.2.0.0/trace_context.bend as TC

# The header map of a carrier, such as the one TC.Sent.carrier gives for a
# message to send: under each name, the carrier's values of that name in
# order (law http_headers), as bend-kit's Http.add would add them one by one,
# with the names as the carrier spells them. The fields are put in from the
# last, each value first among its name's, which leaves every name's values
# in order. bend-kit writes one header line for each value.
def headers(carrier: List<&2, TC.Header>) -> HeaderMap():
  Headers.write(List.reverse(&2, TC.Header, carrier), Map.new(&2, List<&2, String>))

Uses (7):
  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.new
  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
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/native_http.bend&name=Headers.write
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Header