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

import Base

# Why no operation could be generated; None{} for a new operation.
def Sent.error(sent: Sent) -> Maybe<&2, GenerationError>:
  match sent:
    case Fresh{operation, injection}:
      None{}
    case Forwarded{carrier, error}:
      Some{error}
    case NoContext{carrier, error, reason}:
      Some{error}

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