TraceContext.SpanDraw: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 259-262 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=259&end_line=262

import Base

# A span ID draw that waits for a word, as TraceDraw: `excluded` is the span
# ID that no candidate may repeat, such as a child's parent's.
type SpanDraw is Data:
  SpanDraw{remaining: Nat, words: SpanWords, excluded: Maybe<&2, SpanId>}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=SpanId
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=SpanWords