TraceContext.Context.field_names: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3244-3251 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=3244&end_line=3251

import Base

# The names of the context fields as injection writes them: traceparent, then
# tracestate, in lowercase (W3C 3.2.1 and 3.3.1), the names that extraction
# and cleanup read too. A propagator lists them as the fields it writes, and
# one that writes the values of OutgoingContext.emit through a setter of its
# own writes them under these names, the tracestate field only when its value
# is not empty, as injection does. Law: inject_names.
def Context.field_names() -> List<&2, String>:
  [Carrier.traceparent_name(), Carrier.tracestate_name()]

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