TraceContext.OutgoingContext.remove: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2556-2561 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=2556&end_line=2561

import Base

# Delete an entry (see TraceState.remove); the context is unchanged (law
# outgoing_remove).
def OutgoingContext.remove(outgoing: OutgoingContext, key: StateKey) -> OutgoingContext:
  match outgoing:
    case OutgoingContext{context, state}:
      OutgoingContext{context, TraceState.remove(state, key)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=OutgoingContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=StateKey
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceState.remove