type t = {id : int;handle : Hip_types.hip_device;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 current_id_key : int Stdlib.Domain.DLS.keyval current_id : unit -> intval set_current_id : int -> unitval create_device : int -> tval set_current : t -> unitval synchronize : t -> unit