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

import Base

# The context fields of one message and how they came about:
#   Fresh{operation, injection}      a new operation, injected with the
#                                    service's state
#   Forwarded{carrier, error}        no operation could be generated (`error`);
#                                    the received pair is forwarded unchanged
#   NoContext{carrier, error,        no operation could be generated, and no
#     reason}                        pair was forwarded (`reason`): the context
#                                    fields are cleared
type Sent is Data:
  Fresh{operation: LocalContext, injection: Injection}
  Forwarded{carrier: List<&2, Header>, error: GenerationError}
  NoContext{carrier: List<&2, Header>, error: GenerationError, reason: Unforwarded}

Uses (6):
  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=GenerationError
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Injection
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=LocalContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Unforwarded