ExecutionOwnerContinuation.PairedHeader: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_owner_continuation.bend as ExecutionOwnerContinuation
Lines 15-18 of bendvy-ecs-core@0.1.0.3/execution_owner_continuation.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_owner_continuation.bend&start_line=15&end_line=18

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair