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

import Base

# The service's own operation for a received message, with the state it
# sends, or the error that left it without one. `received` is the message's
# incoming context when the service continues it, kept so that a message it
# sends can forward the received pair if generating fails; it is None{} for
# a root, a restart or a continued base.
type Service is Data:
  Operating{origin: Origin, outgoing: OutgoingContext, received: Maybe<&2, IncomingContext>}
  Untraced{error: GenerationError, received: Maybe<&2, IncomingContext>}

Uses (5):
  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=GenerationError
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=IncomingContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Origin
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=OutgoingContext