VK_PIPELINE_EXECUTABLE_STATISTIC_FORMAT_FLOAT64_KHR top-level constant
int
const VK_PIPELINE_EXECUTABLE_STATISTIC_FORMAT_FLOAT64_KHR
Implementation
const int VK_PIPELINE_EXECUTABLE_STATISTIC_FORMAT_FLOAT64_KHR = 3;