I hope so, though I guess it will take a while until header translations appear.
If anyone intends to make Pascal headers, it's worth mentioning that it might be easier to write a parser for their API Registry which is a XML and can be found here - https://github.com/KhronosGroup/Vulk...rc/spec/vk.xml (which would parse the xml and render a pascal header file), instead of manually translating the C headers.