~/jendhub

def TraceDraw.outcome

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

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

1123# The source's final state with the trace ID draw's result.
1124def TraceDraw.outcome(-S: Type, done: S & TraceStep) -> S & Result<&2, &2, GenerationError, TraceId>:
1125  Drive.outcome(~TraceStep, ~TraceId, ~TraceDraw.result, S, done)

Uses (7)

Used by (0)

No other definition uses this definition.