def TraceDraw.ended

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

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

1119# Whether the trace ID draw in a driver's result has ended.
1120def TraceDraw.ended(result: List<&1, Result<&1, &1, U32 & String, U32>> & TraceStep) -> Bool:
1121  Drive.ended(~TraceStep, ~TraceDraw, ~TraceStep.waiting, result)

Uses (10)

Used by (0)

No other definition uses this definition.