TraceContext.Extraction.incoming: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3088-3093 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=3088&end_line=3093

import Base

# The context this message carried, when its traceparent was accepted; None{}
# when extraction kept the base, even an incoming one.
def Extraction.incoming(extraction: Extraction) -> Maybe<&2, IncomingContext>:
  match extraction:
    case Extraction{context, parent, state}:
      Extraction.incoming.of(parent, context)

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=Extraction
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Extraction.incoming.of
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=IncomingContext