~/jendhub

def SpanDraw.run

bend-trace-context@0.2.0.0 · trace_context.bend:1229

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

1229# Drive a span ID draw from a tape (Drive.run).
1230def SpanDraw.run(fuel: Nat, current: List<&1, Result<&1, &1, U32 & String, U32>> & SpanStep) ->
1231  List<&1, Result<&1, &1, U32 & String, U32>> & SpanStep:
1232  match current:
1233    case Tuple{tape, +step}:
1234      Drive.run(~SpanStep, ~SpanDraw, ~SpanStep.waiting, ~SpanDraw.next, fuel,
1235        (tape, (step, SpanStep.waiting(step))))

Uses (12)

Used by (0)

No other definition uses this definition.