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

import Base

# Write an outgoing context into a carrier as a participant: the context
# fields of the carrier are replaced by the emitted traceparent, version 00
# with only the sampled and random-trace-id flags, and the emitted
# tracestate, truncated to the output budget of `limits` and left out when
# empty. The other fields keep their order, and injecting the same context
# into the carrier written gives that carrier again. A receiver that extracts
# the carrier with the same limits continues the injected operation with the
# truncated state. Laws: inject_carrier, inject_dropped, inject_idempotent and
# inject_extracted.
def Context.inject(limits: Limits, outgoing: OutgoingContext, carrier: List<&2, Header>) -> Injection:
  Injection.of(carrier, OutgoingContext.emit(limits, outgoing))

Uses (7):
  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/trace_context.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Injection
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Injection.of
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Limits
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=OutgoingContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=OutgoingContext.emit