TraceContext.Extract.ignored: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2961-2968 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=2961&end_line=2968

import Base

# The state outcome when the tracestate fields are not read: absent without
# a field, ignored with one (W3C 3.3).
def Extract.ignored(states: List<&2, String>) -> StateOutcome:
  match states:
    case Nil{}:
      StateAbsent{}
    case Con{field, rest}:
      StateIgnored{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=StateOutcome