Cuda_ffi.Bindings_types
type cu_result =
| CUDA_SUCCESS
| CUDA_ERROR_INVALID_VALUE
| CUDA_ERROR_OUT_OF_MEMORY
| CUDA_ERROR_NOT_INITIALIZED
| CUDA_ERROR_DEINITIALIZED
| CUDA_ERROR_PROFILER_DISABLED
| CUDA_ERROR_PROFILER_NOT_INITIALIZED
| CUDA_ERROR_PROFILER_ALREADY_STARTED
| CUDA_ERROR_PROFILER_ALREADY_STOPPED
| CUDA_ERROR_STUB_LIBRARY
| CUDA_ERROR_DEVICE_UNAVAILABLE
| CUDA_ERROR_NO_DEVICE
| CUDA_ERROR_INVALID_DEVICE
| CUDA_ERROR_DEVICE_NOT_LICENSED
| CUDA_ERROR_INVALID_IMAGE
| CUDA_ERROR_INVALID_CONTEXT
| CUDA_ERROR_CONTEXT_ALREADY_CURRENT
| CUDA_ERROR_MAP_FAILED
| CUDA_ERROR_UNMAP_FAILED
| CUDA_ERROR_ARRAY_IS_MAPPED
| CUDA_ERROR_ALREADY_MAPPED
| CUDA_ERROR_NO_BINARY_FOR_GPU
| CUDA_ERROR_ALREADY_ACQUIRED
| CUDA_ERROR_NOT_MAPPED
| CUDA_ERROR_NOT_MAPPED_AS_ARRAY
| CUDA_ERROR_NOT_MAPPED_AS_POINTER
| CUDA_ERROR_ECC_UNCORRECTABLE
| CUDA_ERROR_UNSUPPORTED_LIMIT
| CUDA_ERROR_CONTEXT_ALREADY_IN_USE
| CUDA_ERROR_PEER_ACCESS_UNSUPPORTED
| CUDA_ERROR_INVALID_PTX
| CUDA_ERROR_INVALID_GRAPHICS_CONTEXT
| CUDA_ERROR_NVLINK_UNCORRECTABLE
| CUDA_ERROR_JIT_COMPILER_NOT_FOUND
| CUDA_ERROR_UNSUPPORTED_PTX_VERSION
| CUDA_ERROR_JIT_COMPILATION_DISABLED
| CUDA_ERROR_UNSUPPORTED_EXEC_AFFINITY
| CUDA_ERROR_UNSUPPORTED_DEVSIDE_SYNC
| CUDA_ERROR_INVALID_SOURCE
| CUDA_ERROR_FILE_NOT_FOUND
| CUDA_ERROR_SHARED_OBJECT_SYMBOL_NOT_FOUND
| CUDA_ERROR_SHARED_OBJECT_INIT_FAILED
| CUDA_ERROR_OPERATING_SYSTEM
| CUDA_ERROR_INVALID_HANDLE
| CUDA_ERROR_ILLEGAL_STATE
| CUDA_ERROR_NOT_FOUND
| CUDA_ERROR_NOT_READY
| CUDA_ERROR_ILLEGAL_ADDRESS
| CUDA_ERROR_LAUNCH_OUT_OF_RESOURCES
| CUDA_ERROR_LAUNCH_TIMEOUT
| CUDA_ERROR_LAUNCH_INCOMPATIBLE_TEXTURING
| CUDA_ERROR_PEER_ACCESS_ALREADY_ENABLED
| CUDA_ERROR_PEER_ACCESS_NOT_ENABLED
| CUDA_ERROR_PRIMARY_CONTEXT_ACTIVE
| CUDA_ERROR_CONTEXT_IS_DESTROYED
| CUDA_ERROR_ASSERT
| CUDA_ERROR_TOO_MANY_PEERS
| CUDA_ERROR_HOST_MEMORY_ALREADY_REGISTERED
| CUDA_ERROR_HOST_MEMORY_NOT_REGISTERED
| CUDA_ERROR_HARDWARE_STACK_ERROR
| CUDA_ERROR_ILLEGAL_INSTRUCTION
| CUDA_ERROR_MISALIGNED_ADDRESS
| CUDA_ERROR_INVALID_ADDRESS_SPACE
| CUDA_ERROR_INVALID_PC
| CUDA_ERROR_LAUNCH_FAILED
| CUDA_ERROR_COOPERATIVE_LAUNCH_TOO_LARGE
| CUDA_ERROR_NOT_PERMITTED
| CUDA_ERROR_NOT_SUPPORTED
| CUDA_ERROR_SYSTEM_NOT_READY
| CUDA_ERROR_SYSTEM_DRIVER_MISMATCH
| CUDA_ERROR_COMPAT_NOT_SUPPORTED_ON_DEVICE
| CUDA_ERROR_MPS_CONNECTION_FAILED
| CUDA_ERROR_MPS_RPC_FAILURE
| CUDA_ERROR_MPS_SERVER_NOT_READY
| CUDA_ERROR_MPS_MAX_CLIENTS_REACHED
| CUDA_ERROR_MPS_MAX_CONNECTIONS_REACHED
| CUDA_ERROR_MPS_CLIENT_TERMINATED
| CUDA_ERROR_CDP_NOT_SUPPORTED
| CUDA_ERROR_CDP_VERSION_MISMATCH
| CUDA_ERROR_STREAM_CAPTURE_UNSUPPORTED
| CUDA_ERROR_STREAM_CAPTURE_INVALIDATED
| CUDA_ERROR_STREAM_CAPTURE_MERGE
| CUDA_ERROR_STREAM_CAPTURE_UNMATCHED
| CUDA_ERROR_STREAM_CAPTURE_UNJOINED
| CUDA_ERROR_STREAM_CAPTURE_ISOLATION
| CUDA_ERROR_STREAM_CAPTURE_IMPLICIT
| CUDA_ERROR_CAPTURED_EVENT
| CUDA_ERROR_STREAM_CAPTURE_WRONG_THREAD
| CUDA_ERROR_TIMEOUT
| CUDA_ERROR_GRAPH_EXEC_UPDATE_FAILURE
| CUDA_ERROR_EXTERNAL_DEVICE
| CUDA_ERROR_INVALID_CLUSTER_SIZE
| CUDA_ERROR_UNKNOWN
| CUDA_ERROR_UNCATEGORIZED of int64
val cu_result_of_sexp : Sexplib0.Sexp.t -> cu_result
val sexp_of_cu_result : cu_result -> Sexplib0.Sexp.t
val cu_device_of_sexp : Sexplib0.Sexp.t -> cu_device
val sexp_of_cu_device : cu_device -> Sexplib0.Sexp.t
type cu_jit_option =
| CU_JIT_MAX_REGISTERS
| CU_JIT_THREADS_PER_BLOCK
| CU_JIT_WALL_TIME
| CU_JIT_INFO_LOG_BUFFER
| CU_JIT_INFO_LOG_BUFFER_SIZE_BYTES
| CU_JIT_ERROR_LOG_BUFFER
| CU_JIT_ERROR_LOG_BUFFER_SIZE_BYTES
| CU_JIT_OPTIMIZATION_LEVEL
| CU_JIT_TARGET_FROM_CUCONTEXT
| CU_JIT_TARGET
| CU_JIT_FALLBACK_STRATEGY
| CU_JIT_GENERATE_DEBUG_INFO
| CU_JIT_LOG_VERBOSE
| CU_JIT_GENERATE_LINE_INFO
| CU_JIT_CACHE_MODE
| CU_JIT_NEW_SM3X_OPT
| CU_JIT_FAST_COMPILE
| CU_JIT_GLOBAL_SYMBOL_NAMES
| CU_JIT_GLOBAL_SYMBOL_ADDRESSES
| CU_JIT_GLOBAL_SYMBOL_COUNT
| CU_JIT_LTO
| CU_JIT_FTZ
| CU_JIT_PREC_DIV
| CU_JIT_PREC_SQRT
| CU_JIT_FMA
| CU_JIT_REFERENCED_KERNEL_NAMES
| CU_JIT_REFERENCED_KERNEL_COUNT
| CU_JIT_REFERENCED_VARIABLE_NAMES
| CU_JIT_REFERENCED_VARIABLE_COUNT
| CU_JIT_OPTIMIZE_UNUSED_DEVICE_VARIABLES
| CU_JIT_POSITION_INDEPENDENT_CODE
| CU_JIT_NUM_OPTIONS
| CU_JIT_UNCATEGORIZED of int64
val cu_jit_option_of_sexp : Sexplib0.Sexp.t -> cu_jit_option
val sexp_of_cu_jit_option : cu_jit_option -> Sexplib0.Sexp.t
type cu_context = cu_context_t Ctypes.structure Ctypes.ptr
val cu_context : cu_context Ctypes.typ
type cu_module = cu_module_t Ctypes.structure Ctypes.ptr
val cu_module : cu_module Ctypes.typ
type cu_function = cu_function_t Ctypes.structure Ctypes.ptr
val cu_function : cu_function Ctypes.typ
CUdeviceptr is defined as an unsigned integer type whose size matches the size of a pointer on the target platform.
type cu_stream = cu_stream_t Ctypes.structure Ctypes.ptr
val cu_stream : cu_stream Ctypes.typ
type cu_event = cu_event_t Ctypes.structure Ctypes.ptr
val cu_event : cu_event Ctypes.typ
type cu_jit_target =
| CU_TARGET_COMPUTE_30
| CU_TARGET_COMPUTE_32
| CU_TARGET_COMPUTE_35
| CU_TARGET_COMPUTE_37
| CU_TARGET_COMPUTE_50
| CU_TARGET_COMPUTE_52
| CU_TARGET_COMPUTE_53
| CU_TARGET_COMPUTE_60
| CU_TARGET_COMPUTE_61
| CU_TARGET_COMPUTE_62
| CU_TARGET_COMPUTE_70
| CU_TARGET_COMPUTE_72
| CU_TARGET_COMPUTE_75
| CU_TARGET_COMPUTE_80
| CU_TARGET_COMPUTE_86
| CU_TARGET_COMPUTE_87
| CU_TARGET_COMPUTE_89
| CU_TARGET_COMPUTE_90
| CU_TARGET_COMPUTE_90A
| CU_TARGET_UNCATEGORIZED of int64
val cu_jit_target_of_sexp : Sexplib0.Sexp.t -> cu_jit_target
val sexp_of_cu_jit_target : cu_jit_target -> Sexplib0.Sexp.t
val cu_jit_fallback_of_sexp : Sexplib0.Sexp.t -> cu_jit_fallback
val sexp_of_cu_jit_fallback : cu_jit_fallback -> Sexplib0.Sexp.t
val cu_jit_cache_mode_of_sexp : Sexplib0.Sexp.t -> cu_jit_cache_mode
val sexp_of_cu_jit_cache_mode : cu_jit_cache_mode -> Sexplib0.Sexp.t
type cu_device_attribute =
| CU_DEVICE_ATTRIBUTE_MAX_THREADS_PER_BLOCK
| CU_DEVICE_ATTRIBUTE_MAX_BLOCK_DIM_X
| CU_DEVICE_ATTRIBUTE_MAX_BLOCK_DIM_Y
| CU_DEVICE_ATTRIBUTE_MAX_BLOCK_DIM_Z
| CU_DEVICE_ATTRIBUTE_MAX_GRID_DIM_X
| CU_DEVICE_ATTRIBUTE_MAX_GRID_DIM_Y
| CU_DEVICE_ATTRIBUTE_MAX_GRID_DIM_Z
| CU_DEVICE_ATTRIBUTE_MAX_SHARED_MEMORY_PER_BLOCK
| CU_DEVICE_ATTRIBUTE_TOTAL_CONSTANT_MEMORY
| CU_DEVICE_ATTRIBUTE_WARP_SIZE
| CU_DEVICE_ATTRIBUTE_MAX_PITCH
| CU_DEVICE_ATTRIBUTE_MAX_REGISTERS_PER_BLOCK
| CU_DEVICE_ATTRIBUTE_CLOCK_RATE
| CU_DEVICE_ATTRIBUTE_TEXTURE_ALIGNMENT
| CU_DEVICE_ATTRIBUTE_GPU_OVERLAP
| CU_DEVICE_ATTRIBUTE_MULTIPROCESSOR_COUNT
| CU_DEVICE_ATTRIBUTE_KERNEL_EXEC_TIMEOUT
| CU_DEVICE_ATTRIBUTE_INTEGRATED
| CU_DEVICE_ATTRIBUTE_CAN_MAP_HOST_MEMORY
| CU_DEVICE_ATTRIBUTE_COMPUTE_MODE
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_DEPTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LAYERED_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LAYERED_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LAYERED_LAYERS
| CU_DEVICE_ATTRIBUTE_SURFACE_ALIGNMENT
| CU_DEVICE_ATTRIBUTE_CONCURRENT_KERNELS
| CU_DEVICE_ATTRIBUTE_ECC_ENABLED
| CU_DEVICE_ATTRIBUTE_PCI_BUS_ID
| CU_DEVICE_ATTRIBUTE_PCI_DEVICE_ID
| CU_DEVICE_ATTRIBUTE_TCC_DRIVER
| CU_DEVICE_ATTRIBUTE_MEMORY_CLOCK_RATE
| CU_DEVICE_ATTRIBUTE_GLOBAL_MEMORY_BUS_WIDTH
| CU_DEVICE_ATTRIBUTE_L2_CACHE_SIZE
| CU_DEVICE_ATTRIBUTE_MAX_THREADS_PER_MULTIPROCESSOR
| CU_DEVICE_ATTRIBUTE_ASYNC_ENGINE_COUNT
| CU_DEVICE_ATTRIBUTE_UNIFIED_ADDRESSING
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_LAYERED_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_LAYERED_LAYERS
| CU_DEVICE_ATTRIBUTE_CAN_TEX2D_GATHER
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_GATHER_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_GATHER_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_WIDTH_ALTERNATE
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_HEIGHT_ALTERNATE
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE3D_DEPTH_ALTERNATE
| CU_DEVICE_ATTRIBUTE_PCI_DOMAIN_ID
| CU_DEVICE_ATTRIBUTE_TEXTURE_PITCH_ALIGNMENT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURECUBEMAP_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURECUBEMAP_LAYERED_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURECUBEMAP_LAYERED_LAYERS
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE1D_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE3D_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE3D_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE3D_DEPTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE1D_LAYERED_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE1D_LAYERED_LAYERS
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_LAYERED_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_LAYERED_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACE2D_LAYERED_LAYERS
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACECUBEMAP_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACECUBEMAP_LAYERED_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_SURFACECUBEMAP_LAYERED_LAYERS
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_LINEAR_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LINEAR_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LINEAR_HEIGHT
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_LINEAR_PITCH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_MIPMAPPED_WIDTH
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE2D_MIPMAPPED_HEIGHT
| CU_DEVICE_ATTRIBUTE_COMPUTE_CAPABILITY_MAJOR
| CU_DEVICE_ATTRIBUTE_COMPUTE_CAPABILITY_MINOR
| CU_DEVICE_ATTRIBUTE_MAXIMUM_TEXTURE1D_MIPMAPPED_WIDTH
| CU_DEVICE_ATTRIBUTE_STREAM_PRIORITIES_SUPPORTED
| CU_DEVICE_ATTRIBUTE_GLOBAL_L1_CACHE_SUPPORTED
| CU_DEVICE_ATTRIBUTE_LOCAL_L1_CACHE_SUPPORTED
| CU_DEVICE_ATTRIBUTE_MAX_SHARED_MEMORY_PER_MULTIPROCESSOR
| CU_DEVICE_ATTRIBUTE_MAX_REGISTERS_PER_MULTIPROCESSOR
| CU_DEVICE_ATTRIBUTE_MANAGED_MEMORY
| CU_DEVICE_ATTRIBUTE_MULTI_GPU_BOARD
| CU_DEVICE_ATTRIBUTE_MULTI_GPU_BOARD_GROUP_ID
| CU_DEVICE_ATTRIBUTE_HOST_NATIVE_ATOMIC_SUPPORTED
| CU_DEVICE_ATTRIBUTE_SINGLE_TO_DOUBLE_PRECISION_PERF_RATIO
| CU_DEVICE_ATTRIBUTE_PAGEABLE_MEMORY_ACCESS
| CU_DEVICE_ATTRIBUTE_CONCURRENT_MANAGED_ACCESS
| CU_DEVICE_ATTRIBUTE_COMPUTE_PREEMPTION_SUPPORTED
| CU_DEVICE_ATTRIBUTE_CAN_USE_HOST_POINTER_FOR_REGISTERED_MEM
| CU_DEVICE_ATTRIBUTE_COOPERATIVE_LAUNCH
| CU_DEVICE_ATTRIBUTE_COOPERATIVE_MULTI_DEVICE_LAUNCH
| CU_DEVICE_ATTRIBUTE_MAX_SHARED_MEMORY_PER_BLOCK_OPTIN
| CU_DEVICE_ATTRIBUTE_CAN_FLUSH_REMOTE_WRITES
| CU_DEVICE_ATTRIBUTE_HOST_REGISTER_SUPPORTED
| CU_DEVICE_ATTRIBUTE_PAGEABLE_MEMORY_ACCESS_USES_HOST_PAGE_TABLES
| CU_DEVICE_ATTRIBUTE_DIRECT_MANAGED_MEM_ACCESS_FROM_HOST
| CU_DEVICE_ATTRIBUTE_VIRTUAL_MEMORY_MANAGEMENT_SUPPORTED
| CU_DEVICE_ATTRIBUTE_HANDLE_TYPE_POSIX_FILE_DESCRIPTOR_SUPPORTED
| CU_DEVICE_ATTRIBUTE_HANDLE_TYPE_WIN32_HANDLE_SUPPORTED
| CU_DEVICE_ATTRIBUTE_HANDLE_TYPE_WIN32_KMT_HANDLE_SUPPORTED
| CU_DEVICE_ATTRIBUTE_MAX_BLOCKS_PER_MULTIPROCESSOR
| CU_DEVICE_ATTRIBUTE_GENERIC_COMPRESSION_SUPPORTED
| CU_DEVICE_ATTRIBUTE_MAX_PERSISTING_L2_CACHE_SIZE
| CU_DEVICE_ATTRIBUTE_MAX_ACCESS_POLICY_WINDOW_SIZE
| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_WITH_CUDA_VMM_SUPPORTED
| CU_DEVICE_ATTRIBUTE_RESERVED_SHARED_MEMORY_PER_BLOCK
| CU_DEVICE_ATTRIBUTE_SPARSE_CUDA_ARRAY_SUPPORTED
| CU_DEVICE_ATTRIBUTE_READ_ONLY_HOST_REGISTER_SUPPORTED
| CU_DEVICE_ATTRIBUTE_TIMELINE_SEMAPHORE_INTEROP_SUPPORTED
| CU_DEVICE_ATTRIBUTE_MEMORY_POOLS_SUPPORTED
| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_SUPPORTED
| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_FLUSH_WRITES_OPTIONS
| CU_DEVICE_ATTRIBUTE_GPU_DIRECT_RDMA_WRITES_ORDERING
| CU_DEVICE_ATTRIBUTE_MEMPOOL_SUPPORTED_HANDLE_TYPES
| CU_DEVICE_ATTRIBUTE_CLUSTER_LAUNCH
| CU_DEVICE_ATTRIBUTE_DEFERRED_MAPPING_CUDA_ARRAY_SUPPORTED
| CU_DEVICE_ATTRIBUTE_CAN_USE_64_BIT_STREAM_MEM_OPS
| CU_DEVICE_ATTRIBUTE_CAN_USE_STREAM_WAIT_VALUE_NOR
| CU_DEVICE_ATTRIBUTE_DMA_BUF_SUPPORTED
| CU_DEVICE_ATTRIBUTE_IPC_EVENT_SUPPORTED
| CU_DEVICE_ATTRIBUTE_MEM_SYNC_DOMAIN_COUNT
| CU_DEVICE_ATTRIBUTE_TENSOR_MAP_ACCESS_SUPPORTED
| CU_DEVICE_ATTRIBUTE_UNIFIED_FUNCTION_POINTERS
| CU_DEVICE_ATTRIBUTE_MULTICAST_SUPPORTED
| CU_DEVICE_ATTRIBUTE_MAX
| CU_DEVICE_ATTRIBUTE_UNCATEGORIZED of int64
val cu_device_attribute_of_sexp : Sexplib0.Sexp.t -> cu_device_attribute
val sexp_of_cu_device_attribute : cu_device_attribute -> Sexplib0.Sexp.t
val cu_device_p2p_attribute_of_sexp :
Sexplib0.Sexp.t ->
cu_device_p2p_attribute
val sexp_of_cu_device_p2p_attribute :
cu_device_p2p_attribute ->
Sexplib0.Sexp.t
val cu_computemode_of_sexp : Sexplib0.Sexp.t -> cu_computemode
val sexp_of_cu_computemode : cu_computemode -> Sexplib0.Sexp.t
val cu_flush_GPU_direct_RDMA_writes_options_of_sexp :
Sexplib0.Sexp.t ->
cu_flush_GPU_direct_RDMA_writes_options
val sexp_of_cu_flush_GPU_direct_RDMA_writes_options :
cu_flush_GPU_direct_RDMA_writes_options ->
Sexplib0.Sexp.t
val cu_mem_allocation_handle_type_of_sexp :
Sexplib0.Sexp.t ->
cu_mem_allocation_handle_type
val sexp_of_cu_mem_allocation_handle_type :
cu_mem_allocation_handle_type ->
Sexplib0.Sexp.t
val cu_limit_of_sexp : Sexplib0.Sexp.t -> cu_limit
val sexp_of_cu_limit : cu_limit -> Sexplib0.Sexp.t
val cu_ctx_flags_of_sexp : Sexplib0.Sexp.t -> cu_ctx_flags
val sexp_of_cu_ctx_flags : cu_ctx_flags -> Sexplib0.Sexp.t
val cu_mem_attach_flags_of_sexp : Sexplib0.Sexp.t -> cu_mem_attach_flags
val sexp_of_cu_mem_attach_flags : cu_mem_attach_flags -> Sexplib0.Sexp.t
val cu_stream_flags_of_sexp : Sexplib0.Sexp.t -> cu_stream_flags
val sexp_of_cu_stream_flags : cu_stream_flags -> Sexplib0.Sexp.t