let rec tau_of_tarray tau = function
  | [] -> tau
  | _::ds -> tau_of_tarray (Array(Integer,tau)) ds