~/jendhub

def Draw.outcome

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

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

1389# The source's final state with the generation's result.
1390def Draw.outcome(-S: Type, done: S & Step) -> S & Result<&2, &2, GenerationError, LocalContext>:
1391  Drive.outcome(~Step, ~LocalContext, ~Step.result, S, done)

Uses (7)

Used by (0)

No other definition uses this definition.