On this page:
vulkan-spec?
vulkan-spec-sources/  c
get-vulkan-spec
8.2

2 Controlling the Vulkan Specification

 (require vulkan/spec) package: vulkan

The vulkan/spec module provides data from vk.xml, the machine-readable specification of Vulkan. It can download the latest copy from the Khronos Group, and convert the contents of any vk.xml to an X-expression.

procedure

(vulkan-spec? v)  boolean?

  v : any/c
Returns #t if argument is a Vulkan specification according to this collection, #f otherwise.

Currently the validation is not always correct because it does not yet support RelaxNG. This will come in a future version.

value

vulkan-spec-sources/c : (symbols 'local 'remote)

These symbols select which vk.xml to use where applicable.

procedure

(get-vulkan-spec [spec-source])  vulkan-spec?

  spec-source : vulkan-spec-sources/c = 'local
Returns the machine-readable Vulkan specification from the given source.