TraceContext.TraceState.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 2368-2373 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=2368&end_line=2373

import Base

# Delete the entry of `key`, if there is one; the other entries keep their
# order (W3C 3.5; laws remove_entries and remove_get). W3C asks participants
# not to delete keys other vendors generated: that breaks correlation in
# their systems.
def TraceState.remove(+state: TraceState, key: StateKey) -> TraceState:
  TraceState.from_entries(Entries.without(TraceState.entries(state), StateKey.to_string(key)), state)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Entries.without
  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=StateKey.to_string
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceState
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceState.entries
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceState.from_entries