type PairedHeader

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

import Base

15# A unary resume receives both actual owners together, avoiding a curried
16# closure that captures the unpacked Held before receiving Input.
17type PairedHeader<-Input:Type,-Output:Type> is Type:
18  PairedHeader{-Held:Type,held:Held,resume:(Held & Input) -> Output}