def Draw.ended

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

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

1385# Whether the generation in a driver's result has ended.
1386def Draw.ended(result: List<&1, Result<&1, &1, U32 & String, U32>> & Step) -> Bool:
1387  Drive.ended(~Step, ~Draw, ~Step.waiting, result)

Uses (10)

Used by (0)

No other definition uses this definition.