def SpanDraw.reuse

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

import Base

1158# A span ID candidate equal to the excluded one is retried.
1159def SpanDraw.reuse(reused: Bool, id: SpanId, excluded: SpanId, remaining: Nat) -> SpanStep:
1160  match reused:
1161    case True{}:
1162      SpanDraw.retry(remaining, Some{excluded})
1163    case False{}:
1164      DrawnSpanId{id}