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

import Base

# A message's operation as Context.send_with decides it before it reads any
# word, with the limits and the carrier to send it with:
#   SendChild{generation, limits, outgoing, received, carrier}
#     a child of the service's operation, injected with the service's state
#   SendFallback{error, limits, received, carrier}
#     no operation, for a service without one: the fallback, reading no word
# A host that feeds a generation one word at a time drives
# SendPlan.generation and hands the result to SendPlan.sent (law
# hosted_send).
type SendPlan is Data:
  SendChild{generation: Generation, limits: Limits, outgoing: OutgoingContext,
    received: Maybe<&2, IncomingContext>, carrier: List<&2, Header>}
  SendFallback{error: GenerationError, limits: Limits, received: Maybe<&2, IncomingContext>,
    carrier: List<&2, Header>}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Generation
  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=IncomingContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Limits
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=OutgoingContext