TraceContext.Step.of_span: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 1262-1272 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=1262&end_line=1272

import Base

# The generation that a span ID draw's step gives, for a context of
# `trace_id` with the sampled indication `sampled`: waiting for the draw's
# next word, the context once the span ID is drawn, or the draw's failure.
def Step.of_span(step: SpanStep, trace_id: TraceId, sampled: Bool) -> Step:
  match step:
    case NeedSpanWord{draw}:
      NeedWord{DrawSpan{draw, trace_id, sampled}}
    case DrawnSpanId{id}:
      Created{Context.from_ids(trace_id, id, sampled)}
    case SpanFailed{error}:
      Failed{error}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Context.from_ids
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Draw
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=SpanStep
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceId