def paired_returned

bendvy-ecs-core@0.1.0.3 · execution_owner_continuation.bend:19

import bendvy-ecs-core@0.1.0.3/execution_owner_continuation.bend as ExecutionOwnerContinuation

import Base

19def paired_returned(-Input:Type,-Output:Type,header:PairedHeader<Input,Output>,value:Input) -> Output:
20  match header:
21    case PairedHeader{Held,held,resume}:resume((held,value))

Uses (2)

Used by (2)