let rec darray_of_arrayinfo info n = let te = info.arr_element in match object_of te with | C_int _ | C_float _ | C_pointer _ | C_comp _ -> te , n | C_array arr -> darray_of_arrayinfo arr (succ n)