def SpanDraw.retry

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

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

import Base

1150# Try another span ID candidate, or fail once the eight are used.
1151def SpanDraw.retry(remaining: Nat, excluded: Maybe<&2, SpanId>) -> SpanStep:
1152  match remaining:
1153    case 0n:
1154      SpanFailed{ExhaustedSpanId{}}
1155    case 1n+p:
1156      NeedSpanWord{SpanDraw{p, NoSpanWord{}, excluded}}

Uses (7)

Used by (2)