docs: def device_priority(cls, device_with_type_tuple):
          """used to sort devices
          device_with_type_tuple = (device, device_type)
          """
          device, device_type = device_with_type_tuple
          return (device_type is pyopencl.device_type.GPU,
                  device.get_info(pyopencl.device_info.GLOBAL_MEM_SIZE),
                  )