Sarek_cudamodule Cuda_api : sig ... endmodule Cuda_bindings : sig ... endmodule Cuda_c_plugin : sig ... endmodule Cuda_error : sig ... endmodule Cuda_nvrtc : sig ... endmodule Cuda_plugin : sig ... endCuda_plugin — thin backward-compatibility shim. The real backend now lives in Cuda_ptx_plugin (auto-registered) and Cuda_c_plugin. Shared helpers live in Cuda_shared.
module Cuda_plugin_base : sig ... endmodule Cuda_ptx_plugin : sig ... endmodule Cuda_types : sig ... endmodule Sarek_ir_cuda : sig ... endmodule Sarek_ir_ptx : sig ... end