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

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

# Put every field of `fields` first among its name's values, in order. A
# loop, as Headers.push is.
def Headers.write(fields: List<&2, TC.Header>, +headers: HeaderMap()) -> HeaderMap():
  match fields:
    case Nil{}:
      headers
    case Con{header, rest}:
      Headers.write(rest, Headers.add(headers, header))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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.add
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Header