TraceContext.Context.clear: def of bend-trace-context@0.2.0.0 Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext Lines 3259-3264 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=3259&end_line=3264 import Base # Remove every traceparent and tracestate field, whatever the case of its # name, and keep the other fields in their order: the carrier of a message # sent without context (spec #1, "Provide explicit context-field cleanup for # the no-context path"). Law: clear_carrier. def Context.clear(carrier: List<&2, Header>) -> List<&2, Header>: Carrier.replace(carrier, Nil{}) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Carrier.replace https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Header