~/jendhub

def Draw.finished

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

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

1393# Turn the driver's final step into the generation's result.
1394def Draw.finished(~S: Type, action: IO(S & Step)) -> IO(S & Result<&2, &2, GenerationError, LocalContext>):
1395  Drive.finished(~Step, ~LocalContext, ~Step.result, ~S, action)

Uses (8)

Used by (1)