def TraceDraw.reuse

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

import Base

1036# A trace ID candidate equal to the excluded one is retried.
1037def TraceDraw.reuse(reused: Bool, id: TraceId, excluded: TraceId, remaining: Nat) -> TraceStep:
1038  match reused:
1039    case True{}:
1040      TraceDraw.retry(remaining, Some{excluded})
1041    case False{}:
1042      DrawnTraceId{id}