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)