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

import Base

# The new operation that the message carries; None{} for a fallback.
def Sent.operation(sent: Sent) -> Maybe<&2, LocalContext>:
  match sent:
    case Fresh{operation, injection}:
      Some{operation}
    case Forwarded{carrier, error}:
      None{}
    case NoContext{carrier, error, reason}:
      None{}

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