Sarek_cuda.Cuda_ptx_plugin
module Backend : Spoc_framework.Framework_sig.BACKEND
val registered_backend : unit lazy_t
val init : unit -> unit