TraceContext.OutgoingContext.with_state: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2527-2531 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=2527&end_line=2531

import Base

# An outgoing context that sends `state`, such as the state received with the
# parent of a child operation. The caller associates the state with this
# operation, as with Context.from_ids.
def OutgoingContext.with_state(context: LocalContext, state: TraceState) -> OutgoingContext:
  OutgoingContext{context, state}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=LocalContext
  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=TraceState