let rec tarray_of_typ t ds = match object_of t with | C_array info -> tarray_of_arrayinfo info ds | _ -> t,ds and tarray_of_arrayinfo info ds = let d = tarray_dim info.arr_flat in tarray_of_typ info.arr_element (d::ds)