A device region remains an Alpha value until the final physical artifact is
assembled. The resource fields travel with the encoded program so QMD
construction cannot accidentally select a program address independently of
its register, block and shared-memory requirements.
52family CoppeliusDeviceImage : Type 0
53constructor CoppeliusDeviceImageValue
54field unrestricted coppeliusDeviceImageIdentity : Bytes
55field unrestricted coppeliusDeviceImageProgram : (family SM86Program)
56field unrestricted coppeliusDeviceImageMaterial : Bytes
57field unrestricted coppeliusDeviceImageRegisters : Nat
58field unrestricted coppeliusDeviceImageBlockX : Nat
59field unrestricted coppeliusDeviceImageSharedBytes : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.