NativeHttp.Headers.add: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/native_http.bend as NativeHttp
Lines 70-74 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=70&end_line=74

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

# Put one field's value first among its name's values.
def Headers.add(+headers: HeaderMap(), header: TC.Header) -> HeaderMap():
  match header:
    case TC.Header{+name, value}:
      Map.set(&2, List<&2, String>, headers, name, Con{value, Headers.values(headers, name)})

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=Map.set
  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.values
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Header