type t = {id : int;handle : Cuda_types.cu_device;context : Cuda_types.cu_context Ctypes.structure Ctypes.ptr;name : string;total_mem : int64;compute_capability : int * int;max_threads_per_block : int;max_block_dims : int * int * int;max_grid_dims : int * int * int;shared_mem_per_block : int;warp_size : int;multiprocessor_count : int;
}val initialized : bool Stdlib.refval device_cache : (int, t) Stdlib.Hashtbl.tval create_device : int -> tval set_current : t -> unitval synchronize : t -> unit