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