// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
[[VkBool32,VkBool32]]
[source,c++]
----
typedef uint32_t VkBool32;

----
