~/jendhub

def Send.finish

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

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

3743# The source's final state with the message that the plan gives.
3744def Send.finish(-S: Type, plan: SendPlan, done: S & Result<&2, &2, GenerationError, LocalContext>) -> S & Sent:
3745  (source, result) = done
3746  (source, SendPlan.sent(plan, result))

Uses (8)

Used by (1)