TVkPipelineExecutableStatisticFormatKHR

type TVkPipelineExecutableStatisticFormatKHR = (

  VK_PIPELINE_EXECUTABLE_STATISTIC_FORMAT_BOOL32_KHR = 0,

  VK_PIPELINE_EXECUTABLE_STATISTIC_FORMAT_INT64_KHR = 1,

  VK_PIPELINE_EXECUTABLE_STATISTIC_FORMAT_UINT64_KHR = 2,

  VK_PIPELINE_EXECUTABLE_STATISTIC_FORMAT_FLOAT64_KHR = 3

);