Module Sarek_cuda.Cuda_shared

Shared kargs extension for all CUDA backends (PTX and C). Defined once so wrap/unwrap interoperates across both plugins.

type cuda_intrinsic = {
  1. intr_name : string;
  2. intr_codegen : string;
  3. intr_convergence : Spoc_framework.Framework_sig.convergence;
}

CUDA-specific intrinsic implementation

Shared intrinsic registry — both CUDA/PTX and CUDA/C expose the same set

val is_disabled : unit -> bool