type Service
import bend-trace-context@0.2.0.0/trace_context.bend as TraceContextimport Base
3464# The service's own operation for a received message, with the state it
3465# sends, or the error that left it without one. `received` is the message's
3466# incoming context when the service continues it, kept so that a message it
3467# sends can forward the received pair if generating fails; it is None{} for
3468# a root, a restart or a continued base.
3469type Service is Data:
3470 Operating{origin: Origin, outgoing: OutgoingContext, received: Maybe<&2, IncomingContext>}
3471 Untraced{error: GenerationError, received: Maybe<&2, IncomingContext>}