vkDestroyMicromapEXT

To destroy a micromap, call:

void vkDestroyMicromapEXT(
    VkDevice device,
    VkMicromapEXT micromap,
    const VkAllocationCallbacks* pAllocator);

device is the logical device that destroys the micromap.
micromap is the micromap to destroy.
pAllocator controls host memory allocation as described in the Memory Allocation chapter.

The micromap feature must be enabled

All submitted commands that refer to micromap must have completed execution

If VkAllocationCallbacks were provided when micromap was created, a compatible set of callbacks must be provided here

If no VkAllocationCallbacks were provided when micromap was created, pAllocator must be NULL

device must be a valid VkDevice handle

If micromap is not VK_NULL_HANDLE, micromap must be a valid VkMicromapEXT handle

If pAllocator is not NULL, pAllocator must be a valid pointer to a valid VkAllocationCallbacks structure

If micromap is a valid handle, it must have been created, allocated, or retrieved from device