ExecutionOwnerContinuation.Header: 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 3-8 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=3&end_line=8

import Base

# The existential field retains the actual typed owner header across a pure
# call. Its native layout stays boxed even when the held product is wide.
# Bind the header before that call: native ANF hoists nested call arguments
# before inline constructor arguments, otherwise retaining the unpacked owners.
type Header<-Input:Type,-Output:Type> is Type:
  Header{-Held:Type,held:Held,resume:Held -> Input -> Output}

Uses (0):