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

import Base

# The extraction of a message with these traceparent and tracestate field
# values.
def Extract.parents(+limits: Limits, parents: List<&2, String>, +states: List<&2, String>,
  base: Maybe<&2, BaseContext>) -> Extraction:
  match parents:
    case Nil{}:
      Extract.kept(base, TraceParentAbsent{}, states)
    case Con{+value, Nil{}}:
      Extract.read(TraceParent.read(limits, value), value, limits, states, base)
    case Con{first, Con{second, more}}:
      Extract.kept(base, TraceParentRejected{RepeatedTraceParent{}}, states)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=BaseContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Extract.kept
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Extract.read
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Extraction
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Limits
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceParent.read
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceParentError
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceParentOutcome