TraceContext.Emission.tracestate: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2584-2588 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=2584&end_line=2588

import Base

# The tracestate value: at most the output budget in octets, "" for no state.
def Emission.tracestate(emission: Emission) -> String:
  match emission:
    case Emission{traceparent, tracestate, dropped}:
      tracestate

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Emission