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