type Header

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

import Base

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