TraceContext.Serve.replaced: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3544-3552 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=3544&end_line=3552

import Base

# The context that a restart replaces, as Generation.restart takes it: an
# incoming base's received context, or an outgoing base's operation as
# another participant receives it. The new trace ID reuses neither.
def Serve.replaced(base: BaseContext) -> RemoteContext:
  match base:
    case IncomingBase{incoming}:
      IncomingContext.context(incoming)
    case OutgoingBase{outgoing}:
      RemoteContext.from_traceparent(LocalContext.to_traceparent(OutgoingContext.context(outgoing)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=BaseContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=IncomingContext.context
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=LocalContext.to_traceparent
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=OutgoingContext.context
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=RemoteContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=RemoteContext.from_traceparent