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

import Base

# The context to continue from: this message's incoming context when its
# traceparent was accepted, the base otherwise.
def Extraction.context(extraction: Extraction) -> Maybe<&2, BaseContext>:
  match extraction:
    case Extraction{context, parent, state}:
      context

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