TraceContext.Header: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2613-2618 of bend-trace-context@0.2.0.0/trace_context.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&start_line=2613&end_line=2618

import Base

# One field of a message: its name and its value. A carrier is the list of a
# message's fields in their order; repeated fields stay separate, as the
# message carried them. A host that joins repeated fields into one value
# with commas (RFC 9110, section 5.3) gives one field with that value.
type Header is Data:
  Header{name: String, value: String}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String