TraceContext.IncomingContext.from_remote: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3119-3126 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=3119&end_line=3126

import Base

# An incoming context from its parts: a remote context and the tracestate
# that goes with it, so that an OpenTelemetry SDK's remote span contexts have
# one shape whatever format they came from. No message's fields were
# accepted, so it keeps no received pair, and Context.forward refuses it with
# NothingToForward (laws incoming_from_remote and forward_from_parts). A
# child continues it as any incoming context.
def IncomingContext.from_remote(context: RemoteContext, state: TraceState) -> IncomingContext:
  IncomingContext{context, state, None{}}

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