TraceContext.Sent.dropped: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3876-3886 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=3876&end_line=3886

import Base

# The keys that truncating the service's state to the output budget dropped
# from a new operation's message (see Injection.dropped); none for a
# fallback, which sends no state of its own.
def Sent.dropped(sent: Sent) -> List<&2, StateKey>:
  match sent:
    case Fresh{operation, injection}:
      Injection.dropped(injection)
    case Forwarded{carrier, error}:
      Nil{}
    case NoContext{carrier, error, reason}:
      Nil{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Injection.dropped
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Sent
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=StateKey