Should mipmap extension provide an LOD version of get_image_dim?

Currently cl_khr_mipmap_image provides no additional overload of get_image_dim which provides an integer LOD argument. This means the image dimensions can only be queried for LOD 0. Should a new overload which takes an explicit LOD be added?

Review the cl_khr_mipmap_image extension and the get_image_dim specification in the OpenCL documentation sources. First determine whether an explicit LOD overload is intended and how it should be specified; done requires a resolved API decision and corresponding documentation updates.

Written by the indexing model from the issue text.