| Global:State.DeviceMemories.Elem().Data: [Observation(Write) Observation(Read)] |
| Global:State.Images.Elem().Format: [VK_FORMAT_R8G8B8_UNORM VK_FORMAT_R8G8B8A8_UNORM VK_FORMAT_B8G8R8A8_UNORM VK_FORMAT_BC1_RGB_UNORM_BLOCK VK_FORMAT_BC1_RGB_SRGB_BLOCK VK_FORMAT_BC1_RGBA_UNORM_BLOCK VK_FORMAT_BC1_RGBA_SRGB_BLOCK VK_FORMAT_BC2_UNORM_BLOCK VK_FORMAT_BC3_UNORM_BLOCK VK_FORMAT_R16G16B16A16_SFLOAT VK_FORMAT_R32G32B32A32_SFLOAT VK_FORMAT_R8_UNORM VK_FORMAT_R16_UNORM VK_FORMAT_R32_SFLOAT VK_FORMAT_D32_SFLOAT_S8_UINT VK_FORMAT_D16_UNORM VK_FORMAT_D24_UNORM_S8_UINT VK_FORMAT_ETC2_R8G8B8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8_UNORM_BLOCK VK_FORMAT_ETC2_R8G8B8A8_SRGB_BLOCK VK_FORMAT_ETC2_R8G8B8A8_UNORM_BLOCK] |
| Global:State.Images.Elem().Layout: [VK_IMAGE_LAYOUT_UNDEFINED] |
| Global:State.Images.Elem().Samples: [VK_SAMPLE_COUNT_1_BIT] |
| Global:State.Images.Elem().Type: [VK_IMAGE_TYPE_2D] |
| Global:State.PhysicalDevices.Elem().MemoryProperties.memoryTypes.Elem().propertyFlags: [VK_MEMORY_PROPERTY_HOST_COHERENT_BIT] |
