let rec tau_of_darray te n =
  if n > 0 then Array(Integer, tau_of_darray te (pred n)) else te