Vulkan.Devicetype t = Vulkan_api.Device.tval get : int -> Vulkan_api.Device.tval id : Vulkan_api.Device.t -> intval name : Vulkan_api.Device.t -> stringval capabilities :
Vulkan_api.Device.t ->
Spoc_framework.Framework_sig.capabilitiesval set_current : Vulkan_api.Device.t -> unitval synchronize : Vulkan_api.Device.t -> unitval get_current_device : unit -> Vulkan_api.Device.t option