TraceContext.IncomingContext: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2645-2653 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=2645&end_line=2653

import Base

# The sender's operation together with the tracestate that goes with it: one
# extracted from a message, which also keeps the received pair when the whole
# pair was accepted, or one built from its parts (IncomingContext.from_remote),
# which keeps none. It is not this participant's operation: a service
# continues it with a child (Context.child_from_id with
# IncomingContext.parent), or forwards the received pair unchanged
# (Context.forward).
type IncomingContext is Data:
  IncomingContext{context: RemoteContext, state: TraceState, received: Maybe<&2, ReceivedPair>}

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=ReceivedPair
  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