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

import Base

# The original fields of an accepted message: its traceparent value, without
# the optional whitespace around it, and its tracestate field values as they
# came, in arrival order, none when it had no tracestate field. They are what
# Context.forward sends. The input budgets bound the pairs that extraction
# keeps (law received_bounds); a pair built directly with this constructor
# carries no such guarantee, so forwarding checks what it sends. A pair that
# extraction kept is refused only when it exceeds the output budget (law
# forward_extracted).
type ReceivedPair is Data:
  ReceivedPair{traceparent: String, tracestate: List<&2, String>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String